ラマヌジャンの円周率公式のひとつである $$\frac{16}{\pi}=\sum_{k=0}^{\infty }{\frac{\left(42\,k+5\right)\,A_{k}}{2^{6\,k}}}\, ただし A_k=\frac{\left(\frac12\right)_k^3}{k!^3}$$ の証明を調べてMaximaで式変形を追いながら理解することができまし…