A probabilistic proof of Wallis's formula for pi
Abstract
Using mostly elementary results and functions from probability, we prove Wallis's formula for pi: pi/2 = prodn (2n * 2n) / ((2n-1) * (2n+1)). The proof involves normalization constants and the Gamma function, Standard normal, and the Student t-Distribution.
0