华里士公式

Wallis公式是关于圆周率的无穷乘积的公式。

对这一公式的证明采用对 在 的积分完成：令 用分部积分法令 由 的单调性推知 即为 变形后得到 由求极限的夹逼准则，得到 即为Wallis公式。