Maths WorkshopMaths problems with full solutions
Exercise 1521Calculus › Single-variable calculus › Integration › Integration techniquesL1Added 2 Nov 2026

Wallis integrals

#Wallis integrals#recurrence#asymptotics#pi

Statement

Let Wn=∫0π/2sin⁡nx dxW_n=\displaystyle\int_0^{\pi/2}\sin^nx\,dx.

  1. Show that nWn=(n−1)Wn−2nW_n=(n-1)W_{n-2} for n≥2n\ge2.
  2. Show that (n+1)WnWn+1=π2(n+1)W_nW_{n+1}=\dfrac\pi2 for all n≥0n\ge0.
  3. Deduce that π2(n+1)≤Wn≤π2n\sqrt{\dfrac\pi{2(n+1)}}\le W_n\le\sqrt{\dfrac\pi{2n}} for n≥1n\ge1.
Hint

For 1, integrate by parts after writing sin⁡n=sin⁡n−1⋅sin⁡\sin^n=\sin^{n-1}\cdot\sin. For 2, show that the quantity is constant in nn. For 3, use that (Wn)(W_n) is decreasing.

Show solutionHide solution

Solution

1. With u=sin⁡n−1xu=\sin^{n-1}x and v′=sin⁡xv'=\sin x (so v=−cos⁡xv=-\cos x):
Wn=[−cos⁡xsin⁡n−1x]0π/2+(n−1)∫0π/2cos⁡2xsin⁡n−2x dx=(n−1)(Wn−2−Wn),W_n=\bigl[-\cos x\sin^{n-1}x\bigr]_0^{\pi/2}+(n-1)\int_0^{\pi/2}\cos^2x\sin^{n-2}x\,dx=(n-1)(W_{n-2}-W_n),
using cos⁡2=1−sin⁡2\cos^2=1-\sin^2. Hence nWn=(n−1)Wn−2nW_n=(n-1)W_{n-2}.

2. Let un=(n+1)WnWn+1u_n=(n+1)W_nW_{n+1}. By part 1 (with index n+1n+1), (n+1)Wn+1=nWn−1(n+1)W_{n+1}=nW_{n-1}, so un=nWn−1Wn=un−1u_n=nW_{n-1}W_n=u_{n-1}. The sequence is constant, equal to u0=W0W1=π2⋅1u_0=W_0W_1=\frac\pi2\cdot1.

3. Since 0≤sin⁡x≤10\le\sin x\le1, (Wn)(W_n) is decreasing: Wn+1≤Wn≤Wn−1W_{n+1}\le W_n\le W_{n-1}. Multiplying by Wn>0W_n>0:
WnWn+1≤Wn2≤WnWn−1 ⟹ π2(n+1)≤Wn2≤π2n.W_nW_{n+1}\le W_n^2\le W_nW_{n-1}\ \Longrightarrow\ \frac\pi{2(n+1)}\le W_n^2\le\frac\pi{2n}.

Consequence. Wn∼π2nW_n\sim\sqrt{\frac\pi{2n}}. Together with the closed formulas W2p=(2p)!4p(p!)2π2W_{2p}=\frac{(2p)!}{4^p(p!)^2}\frac\pi2, this gives the Wallis product for π\pi and the asymptotics of central binomial coefficients.