リーマンゼータ関数
リーマンゼータ関数 の非自明な零点 は全て、実部が の直線上に存在する。