华里士公式的推导

Wallis（华里士）公式是关于圆周率的无穷乘积的公式，但Wallis公式中只有乘除运算，连开方都不需要，形式上十分简单。虽然Wallis公式对π的近似计算没有直接影响，但是在导出Stirling公式中起到了重要作用。

常用公式数值与推导关系

I0=π/2

I1=1

积分上下限分别为0和π/2。