Legendre's constant

From Wikipedia, the free encyclopedia
Jump to: navigation, search
The first 100,000 elements of the sequence an = ln(n) − n/π(n) (red line) appear to converge to a value around 1.08366 (blue line).

Legendre's constant is a mathematical constant occurring in a formula conjectured by Adrien-Marie Legendre to capture the asymptotic behavior of the prime-counting function \scriptstyle\pi(x). Its value is now known to be exactly 1.

Examination of available numerical evidence for known primes led Legendre to suspect that \scriptstyle\pi(x) satisfies an approximate formula.

Legendre conjectured in 1808 that

 \pi(x) = \frac{x}{\ln(x) - B(x)}

where \lim_{x \to \infty} B(x) = 1.08366 ....OEISA228211[1]

Or similarly,

\lim_{n \to \infty } \left( \ln(n) - {n \over \pi(n)} \right)= B

where B is Legendre's constant. He guessed B to be about 1.08366, but regardless of its exact value, the existence of B implies the prime number theorem.

Pafnuty Chebyshev proved in 1849[2] that if the limit B exists, it must be equal to 1. An easier proof was given by Pintz in 1980.[3]

It is an immediate consequence of the proof of the prime number theorem under the form

 \pi(x)={\rm Li} (x) + O \left(x \mathrm{e}^{-a\sqrt{\ln x}}\right) \quad\text{as } x \to \infty

(for some positive constant a, where O(…) is the big O notation), as proved independently by Jacques Hadamard[4] and Charles de La Vallée Poussin,[5] that B indeed is equal to 1.

Being evaluated to such a simple number has made the term Legendre's constant mostly only of historical value, with it often (technically incorrectly) being used to refer to Legendre's first guess 1.08366... instead.

Pierre Dusart proved in 2010

 \frac {x} {\ln x - 1} < \pi(x) for x \ge 5393, and
 \pi(x) <  \frac {x} {\ln x - 1.1} for x \ge 60184.[6] This is of the same form as
 \pi(x) = \frac{x}{\ln(x) - A(x)} with 1 \le A(x) < 1.1.

References[edit]

  1. ^ Ribenboim, Paulo (2004). The Little Book of Bigger Primes. New York: Springer-Verlag. p. 188. ISBN 0-387-20169-6. 
  2. ^ Edmund Landau. Handbuch der Lehre von der Verteilung der Primzahlen, page 17. Third (corrected) edition, two volumes in one, 1974, Chelsea 1974
  3. ^ J. Pintz. On Legendre's prime number formula. Amer. Math. Monthly 87 (1980), 733-735.
  4. ^ Sur la distribution des zéros de la fonction \zeta(s) et ses conséquences arithmétiques, Bulletin de la Société Mathématique de France, Vol. 24, 1896, pp. 199–220 Online
  5. ^ La Vallée Poussin, C. Mém. Couronnés Acad. Roy. Belgique 59, 1-74, 1899
  6. ^ Dusart, Pierre. "ESTIMATES OF SOME FUNCTIONS OVER PRIMES WITHOUT R.H.". arxiv.org. Retrieved 22 April 2014. 

External links[edit]