素数計数関数

素数計数関数（）とは、正の実数にそれ以下の素数の個数を対応させる関数のことであり、("x") で表す。
歴史.
数論の歴史において ("x") の増大度は重要な関心事とされてきた。
18世紀のレオンハルト・オイラーは、素数列の逆数の和が発散することを示した（素数の無限性の証明を参照）。平方数の逆数の和は収束するため、これは ("x") が formula_1 よりも速く増大することを示している。
1808年、アドリアン＝マリ・ルジャンドルは以下の等式を示した。
ここで formula_3 はメビウス関数、formula_4 はガウス記号であり、和は formula_5 以下のすべての素数の積 "P" のすべての正の約数 "d" を動く。この式より、
が導かれる。
素数定理.
18世紀末には、("x") が formula_7 に漸近近似できること、即ち
が成り立つであろうということが、カール・フリードリヒ・ガウスにより予想されていた。1850年頃にパフヌティ・チェビシェフは、この等式の左辺がもし極限を持つならば、それは1でなくてはならないことを示した。その後もこの予想は長らく証明されなかったが、1896年になってジャック・アダマールとにより独立に証明され、現在では素数定理と呼ばれている。彼らの証明は、リーマンゼータ関数の性質を用いている。
長い間、解析的方法を用いなければ素数定理を証明することはできないと信じられていたが、1948年頃、アトル・セルバーグとポール・エルデシュは複素解析を用いない素数定理の証明を（ほぼ独立に）発見した。それらの証明では、数論的関数の初等的評価のみを用いていた。
リーマン予想との関係.
1859年リーマンは、("x") をゼータ関数の零点を用いて表す式を発見した。
ここで formula_10 は、
と定義され、和の ρ はゼータ関数の全ての零点をわたる。
また、formula_13は、ランダウの記号である。
また、リーマン予想が正しい場合、以下の式が成り立つことが知られている。
関数の値.
("x"), "x" / ln "x" および li("x") の3つの関数を10の冪において比較した表は素数定理#定理の内容にある。
("x") の公式.
上述のルジャンドルやリーマンらによる公式以外にも、("x") を表す公式がいくつか存在する。例えばWilliansは、ウィルソンの定理に基づき次の初等的な公式を与えている。
ここで formula_16 は、ガウス記号を用いて
と定義される関数である。これが ("x") を表す理由は単純で、"F"("j") は合成数ならば 0、その他の値に対しては 1 を取るからである。ウィルソンの定理と同様、この公式も実用的な計算には用いることができない。
その他、ドイツの数学者による巧妙な漸化関係を持つ公式などが知られている。マイセルは1885年自身の公式を用いて (10) の値を求めた。
不等式.
("x") と の関係として以下の不等式が知られている。
左の不等号は "x" ≥ 17 で、右の不等号は "x" > 1 で成り立つ。
ピエール・デザルトは2010年に次の6つの不等式
を示した。