※元ネタ

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