PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
Skewes' number (Definition)

Skewes' number is the smallest number $ n$ for which $ \pi(n) > {\mathrm{li}}(n)$, where $ \pi(x)$ is the prime counting function and $ {\mathrm{li}}(x)$ is the logarithmic integral. The logarithmic integral is a good estimate for the prime counting function, but in the range of prime numbers for which we know all smaller primes, the logarithmic integral is an overestimate. Thus, Skewes' number is the smallest number for which $ {\mathrm{li}}(x)$ “goes from being an overestimate to being an underestimate.” (Wells, 1986)

The exact value of Skewes' number is not currently known. Stanley Skewes in 1933 gave the lower bound $ e^{e^{e^{79}}}$, approximately $ 10^{{10}^{{10}^{34}}}$. He assumed the Riemann hypothesis to be true. Others have proven smaller bounds to as low as about $ 1.4 \times 10^{316}$.

In the 1930s, Skewes' number was the largest that had ever been used in a serious mathematical proof. It has since then been significantly dwarfed by Graham's number. It still is the second largest number with its own entry in Wells' The Penguin Dictionary of Curious and Interesting Numbers, appearing on the penultimate page of the main text.

Bibliography

1
Bays, C. & Hudson, R. H. ``A new bound for the smallest $ x$ with $ \pi(x) > {\mathrm{li}}(x)$.'' Math. Comput. 69 (2000): 1285 - 1296
2
Wells, D. The Penguin Dictionary of Curious and Interesting Numbers London: Penguin Group. (1986): 209



"Skewes' number" is owned by PrimeFan.
(view preamble | get metadata)

View style:

Other names:  Skewes's number, Skewes number
Log in to rate this entry.
(view current ratings)

Cross-references: Graham's number, proof, bounds, Riemann hypothesis, lower bound, prime numbers, range, estimate, logarithmic integral, prime counting function, number
There are 2 references to this entry.

This is version 2 of Skewes' number, born on 2007-05-05, modified 2007-05-06.
Object id is 9339, canonical name is SkewesNumber.
Accessed 1257 times total.

Classification:
AMS MSC11A41 (Number theory :: Elementary number theory :: Primes)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy
Symbol for logarithmic integral by PrimeFan on 2007-05-05 18:50:20
I know li shouldn't be in italics. I tried preceding it with a backslash like in the entry LogarithmicIntegral. I got TeX error messages. I guess I'm missing something in the preamble.
[ reply | up ]

Interact
post | correct | update request | add derivation | add example | add (any)