素数計数関数

素数計数関数（英: Prime-counting function）とは、正の実数にそれ以下の素数の個数を対応させる関数のことであり、π(x) で表す。 数論の歴史において π(x) の増大度は重要な関心事とされてきた。 18世紀のレオンハルト・オイラーは、素数列の逆数の和が発散することを示した（素数の無限性の証明を参照）。平方数の逆数の和は収束するため、これは π(x) が x {\displaystyle {\sqrt {x}}} よりも速く増大することを示している。 1808年、アドリアン＝マリ・ルジャンドルは以下の等式を示した。 π ( N ) = π ( N ) − 1 + ∑ d μ ( d ) [ N d ] {\displaystyle \pi (N)=\pi ({\sqrt {N}})-1+\sum _{d}\mu (d)\left[{\frac {N}{d}}\right]} ここで μ ( d ) {\displaystyle \mu (d)} はメビウス関数、 [ x ] {\displaystyle [x]} はガウス記号であり、和は N {\displaystyle {\sqrt {N}}} 以下のすべての素数の積 P のすべての正の約数 d を動く。この式より、 lim x → ∞ π ( x ) x = 0 {\displaystyle \lim _{x\to \infty }{\frac {\pi (x)}{x}}=0} が導かれる。 18世紀末には、π(x) が x ln ⁡ x {\displaystyle {\frac {x}{\operatorname {ln} x}}} に漸近近似できること、即ち lim x → ∞ π ( x ) x / ln ⁡ x = 1 {\displaystyle \lim _{x\to \infty }{\frac {\pi (x)}{x/\operatorname {ln} x}}=1} が成り立つであろうということが、カール・フリードリヒ・ガウスにより予想されていた。1850年頃にパフヌティ・チェビシェフは、この等式の左辺がもし極限を持つならば、それは1でなくてはならないことを示した。その後もこの予想は長らく証明されなかったが、1896年になってジャック・アダマールとシャルル＝ジャン・ド・ラ・ヴァレー・プーサン（英語版）により独立に証明され、現在では素数定理と呼ばれている。彼らの証明は、リーマンゼータ関数の性質を用いている。 長い間、解析的方法を用いなければ素数定理を証明することはできないと信じられていたが、1948年頃、アトル・セルバーグとポール・エルデシュは複素解析を用いない素数定理の証明を（ほぼ独立に）発見した。それらの証明では、数論的関数の初等的評価のみを用いていた。 1859年リーマンは、π(x) をゼータ関数の零点を用いて表す式を発見した。 π ( x ) = R ( x ) − ∑ ρ R ( x ρ ) {\displaystyle \pi (x)=R(x)-\sum _{\rho }R(x^{\rho })} ここで R ( x ) {\displaystyle R(x)} は、 R ( x ) = ∑ m = 1 ∞ μ ( m ) m li ⁡ ( x 1 m ) {\displaystyle R(x)=\sum _{m=1}^{\infty }{\frac {\mu (m)}{m}}\operatorname {li} (x^{\tfrac {1}{m}})} と定義され、和の ρ はゼータ関数の全ての零点をわたる。 また、リーマン予想と下の式が正しいことは同値である。 π ( x ) = li ⁡ ( x ) + O ( x ln ⁡ x ) {\displaystyle \pi (x)=\operatorname {li} (x)+O\left({\sqrt {x}}\ln x\right)} また、 O {\displaystyle O} は、ランダウの記号である。 また、リーマン予想が正しい場合、以下の式が成り立つことが知られている。 | π ( x ) − li ⁡ ( x ) | < 1 8 π x log ⁡ x , for all  x ≥ 2657. {\displaystyle |\pi (x)-\operatorname {li} (x)|<{\frac {1}{8\pi }}{\sqrt {x}}\,\log {x},\qquad {\text{for all }}x\geq 2657.} π(x), x / ln x および li(x) の3つの関数を10の冪において比較した表は素数定理#定理の内容にある。 上述のルジャンドルやリーマンらによる公式以外にも、π(x) を表す公式がいくつか存在する。例えばWilliansは、ウィルソンの定理に基づき次の初等的な公式を与えている。 π ( m ) = − 1 + ∑ j = 1 m F ( j ) {\displaystyle \pi (m)=-1+\sum _{j=1}^{m}F(j)} ここで F ( j ) {\displaystyle F(j)} は、ガウス記号を用いて F ( j ) = [ cos 2 ⁡ π ( j − 1 ) ! + 1 j ] {\displaystyle F(j)=\left[\cos ^{2}\pi {\frac {(j-1)!+1}{j}}\right]} と定義される関数である。これが π(x) を表す理由は単純で、F(j) は合成数ならば 0、その他の値に対しては 1 を取るからである。ウィルソンの定理と同様、この公式も実用的な計算には用いることができない。 その他、ドイツの数学者エルンスト・マイセル（英語版）による巧妙な漸化関係を持つ公式などが知られている。マイセルは1885年自身の公式を用いて π(109) の値を求めた。 π(x) と x/ln x の関係として以下の不等式が知られている。 x ln ⁡ x < π ( x ) < 1.25506 x ln ⁡ x {\displaystyle {\frac {x}{\ln x}}<\pi (x)<1.25506{\frac {x}{\ln x}}} 左の不等号は x ≥ 17 で、右の不等号は x > 1 で成り立つ。 ピエール・デザルトは2010年に次の6つの不等式 x ln ⁡ x ( 1 + 1 ln ⁡ x ) < π ( x ) {\displaystyle {\frac {x}{\ln x}}(1+{\frac {1}{\ln x}})<\pi (x)} （ただし x ≥ 599） π ( x ) < x ln ⁡ x ( 1 + 1.2762 ln ⁡ x ) {\displaystyle \pi (x)<{\frac {x}{\ln x}}(1+{\frac {1.2762}{\ln x}})} （ただし x ≥ 1） x ln ⁡ x − 1 < π ( x ) {\displaystyle {\frac {x}{\ln x-1}}<\pi (x)} （ただし x ≥ 5393） π ( x ) < x ln ⁡ x − 1.1 {\displaystyle \pi (x)<{\frac {x}{\ln x-1.1}}} （ただし x ≥ 60184） x ln ⁡ x ( 1 + 1 ln ⁡ x + 2 ln 2 ⁡ x ) < π ( x ) {\displaystyle {\frac {x}{\ln x}}(1+{\frac {1}{\ln x}}+{\frac {2}{\ln ^{2}x}})<\pi (x)} （ただし x ≥ 88783） π ( x ) < x ln ⁡ x ( 1 + 1 ln ⁡ x + 2.334 ln 2 ⁡ x ) {\displaystyle \pi (x)<{\frac {x}{\ln x}}(1+{\frac {1}{\ln x}}+{\frac {2.334}{\ln ^{2}x}})} （ただし x ≥ 2953652287） を示した。 与えられた数より小さい素数の個数について 対数積分 リーマン予想 エラトステネスの篩 ルジャンドル予想 ベルトランの仮説 ^ Bach, Eric; Shallit, Jeffrey (1996). Algorithmic Number Theory. MIT Press. volume 1 page 234 section 8.8. ISBN 0-262-02405-5  ^ Weisstein, Eric W. "Prime Counting Function". mathworld.wolfram.com (英語). ^ “How many primes are there?”. Chris K. Caldwell. 2008年12月2日閲覧。 ^ Dickson, Leonard Eugene (2005). History of the Theory of Numbers, Vol. I: Divisibility and Primality. Dover Publications. ISBN 0-486-44232-2  ^ a b c d e f g h Paulo Ribenboim著 吾郷 孝視訳編 『素数の世界』2001年、共立出版 ^ Ireland, Kenneth; Rosen, Michael (1998). A Classical Introduction to Modern Number Theory (Second ed.). Springer. ISBN 0-387-97329-X  ^ Schoenfeld, Lowell (1976). “Sharper bounds for the Chebyshev functions θ(x) and ψ(x). II”. Mathematics of Computation (American Mathematical Society) 30 (134): 337–360. doi:10.2307/2005976. ISSN 0025-5718. JSTOR 2005976. MR0457374.  ^ Rosser, J. Barkley; Schoenfeld, Lowell (1962). “Approximate formulas for some functions of prime numbers”. Illinois J. Math. 6: 64–94. doi:10.1215/ijm/1255631807. ISSN 0019-2082. Zbl 0122.05001.  ^ Dusart, Pierre. “"ESTIMATES OF SOME FUNCTIONS OVER PRIMES WITHOUT R.H."”. arxiv.org. 22 April 2014閲覧。 Chris Caldwell, The Nth Prime Page at The Prime Pages. Tomás Oliveira e Silva, Tables of prime-counting functions.