｛ａn｝＝Π（２ｎ）^2／（２ｎ−１）（２ｎ＋１）

＝２／１・２／３・４／３・４／５・６／５・６／７・・・＝π／２

［証］ウォリスの公式（１６５６年）である．

（２・２／１・３）（４・４／３・５）（６・６／５・７）・・・（２ｎ・２ｎ／（２ｎ−１）・（２ｎ＋１））・・・

＝Π２ｎ／（２ｎ−１）・２ｎ／（２ｎ＋１）

＝Πｎ／（ｎ−１／２）・ｎ／（ｎ＋１／２）

＝Γ（１／２）Γ（３／２）／Γ（１）Γ（１）＝２Γ^2（３／２）

＝π／２

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝