A probabilistic approach to Wallis’ formula

We present an alternative proof of Wallis’ formula from the probabilistic point of view. Based on the classical central limit theorem, some discrete distributions with additive property, such as binomial, negative binomial, Poisson and multinomial distributions, are considered to derive π/2.