π的Wallis公式的一个概率论证明

π有许多漂亮的公式(例如,见[4]).这篇短文的目的是介绍Wallis(沃利斯)乘积公式(1)的另一种推导,它可以被包含在概率论,统计学,或数论的初等教程中.我们很快地回顾一下7T另一些著名的公式,和一些必需的概率论中的结论,然后来推导Wallis公式.最后我们结合Wallis公式和一些别的著名公式来推导log(π/2)的一个有趣的表达式(方程⑹).