In mathematics, and more precisely in analysis, the Wallis integrals constitute a family of integrals introduced by John Wallis. Wikipedia