Rosser's theorem

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Template:Short description Script error: No such module "For".

In number theory, Rosser's theorem states that the nth prime number is greater than nlogn, where log is the natural logarithm function. It was published by J. Barkley Rosser in 1939.[1]

Its full statement is:

Let pn be the nth prime number. Then for n1

pn>nlogn.

In 1999, Pierre Dusart proved a tighter lower bound:[2]

pn>n(logn+loglogn1).

See also

References

  1. Rosser, J. B. "The n-th Prime is Greater than nlogn". Proceedings of the London Mathematical Society 45:21-44, 1939. Script error: No such module "doi".Template:Closed access
  2. Script error: No such module "Citation/CS1".

External links

de:John Barkley Rosser#Satz von Rosser