Extending Rosser's Theorem
Initializing live version
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 .
[more]
Contributed by: Jon Perry (April 2011)
Open content licensed under CC BY-NC-SA
Snapshots
Details
Permanent Citation