Extending Rosser's Theorem

Initializing live version
Download to Desktop

Requires a Wolfram Notebook System

Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.

Let be the number of primes up to . The prime number theorem states that and implies that , where is the prime. Rosser proved that for all . Rosser's theorem was extended to , for all .


The curves plotted are (blue), (khaki), and (brown).


Contributed by: Jon Perry (April 2011)
Open content licensed under CC BY-NC-SA



Feedback (field required)
Email (field required) Name
Occupation Organization
Note: Your message & contact information may be shared with the author of any specific Demonstration for which you give feedback.