华里氏的公式是一个积分公式。将4换成n,原式为I(n),进行的递推公式。华里士（Wallis）公式是关于圆周率的无穷乘积的公式。Wallis公式的实质就是刻画了双阶乘(2n)!!与(2n-1)!!之比的渐近性态。