Wallis' integrals
In mathematics, and more precisely in analysis, the Wallis integrals constitute a family of integrals introduced by John Wallis. == Definition, basic properties == The Wallis integrals are the terms of the sequence ( W n ) n ≥ 0 {\displaystyle (W_{n})_{n\geq 0}} defined by W n = ∫ 0 π 2 sin n x d x , {\displaystyle W_{n}=\int _{0}^{\frac {\pi }{2}}\sin ^{n}x\,dx,} or equivalently, W n = ∫ 0 π 2 cos n x d x .