リーマンの素数公式
リーマンの素数公式(Riemann's prime number formula)とは、ドイツの数学者ベルンハルト・リーマンが1859年に自身の論文「与えられた数より小さい素数の個数について」において発表した、素数の個数関数 π(x) をゼータ関数の非自明な零点を用いて表示する公式である。素数公式のリーマン自身の証明は同論文の他のいくつかの結果同様不完全だったが、ハンス・フォン・マンゴルドによって1895年に厳密に証明された。