けんごさんの式で次数の 2 を変数化したのがゼータ関数でζ(s) リーマンがこれを複素数に拡張しました。(ゼータはリーマンの命名) ゼータ関数のゼロ点( ζ(s) = 0+0i となるような s のこと)は 素数と密接な関係があります。 π関数(nまでの素数の個数)の決定要素。 こまざわさんのグラフで、赤と青がどっちも 0 になるのゼロ点です。