P3C 今回は次の公式を証明します。 $$\frac{2}{\pi}=\sum_{k=0}^{\infty}(-1)^k\,A_k\,(4\,k+1), ただしA_k=\frac{\left( \frac12\right)_k^3}{k!^3}$$ Nayandeepさんの論文 "EISENSTEIN SERIES AND RAMANUJAN-TYPE SERIES FOR 1/π" では多くの円周率公式に…