$$ \sum_{n=0}^\infty\frac{_{2n}\mathrm{C}_n^2}{(n+1)16^n}=\frac{4}{\pi} $$
$$ \sum_{k=0}^{n-1}\frac{_{2k}\mathrm{C}_k^2}{(k+1)16^k}=\frac{4n_{2n}\mathrm{C}_n^2}{16^n} $$
数学的帰納法よりわかる。
$$ \lim_{n\to\infty}\frac{n_{2n}\mathrm{C}_n^2}{16^n}=\frac{1}{\pi} $$
かの有名なウォリス積分から導くことのできる公式。
おわり
あれ?前書いた記事とおんなじじゃね?すいません、前の記事が我慢ならんかったので。これはこれで相当ひどいけど