たけのこ赤軍の自由帳

反復積分とNona ReevesとPrinceとRED SPIDER

π>3 の証明

1 年ぐらい前から作ろうと思って結局書くのがめんどくさく放置していた pdf を深夜テンションの助けを借りてようやく書き終えたので公開します。
内容は π>3 の(保型形式を使った)証明です。Fourier 展開の話とかはめんどくさかったので証明していませんが、予備知識はいらないと思います。

pi _ 3.pdf - Google ドライブ