Reduce to Wallis formula

316 Views Asked by At

How do we get Wallis Formula $$\frac{\pi}{2}=\lim_{l\to\infty} \prod_{j=1}^{l+1}\frac{(2j)(2j)}{(2j-1)(2j-1)} $$

from $$\lim_{n\to\infty}\frac{(n+1)^2}{n+\frac{3}{2}} \bigg[\frac{\Gamma(n+1)}{\Gamma(n+\frac{3}{2})}\bigg]^2=1$$