ラマヌジャンの円周率級数

定理 6.2（「オイラーとラマヌジャン」§6）・ ※主張のみ

\frac{1}{\pi} = \frac{2\sqrt{2}}{9801}\sum_{k=0}^{\infty}\frac{(4k)!\,\bigl(1103 + 26390k\bigr)}{(k!)^4\,396^{4k}}

が成り立ちます。

閉包の状態

※ 主張のみ

この分野（情報科学・コラム）は閉包の検査の対象外で、証明を載せていない定理です。理由と出典は本文の注意にあります。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

主張のみなので、Rikai の中で証明が使う前提はありません。

証明で明示的に参照している定理は、まだありません。