と を比較する． とおくと， そこで とおくと， 1,\quad \lim_{n\to \infty}\, \frac{b_{n+1} }{b_n} =1."> さらに， 右辺を とおくと， 1."> また， （ より．） よって よって は収束する． Wallis の公式より， これは次の不等式より従う． よって， した…

証明 左辺の極限が右辺なので，増加列であることを示せばよい． とおくと， 0."> ここで， の における接線の方程式を とする．//