リーマンゼータ関数
オイラーによる証明は、リーマンゼータ関数のオイラー積表示を用いたものである。