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
.
Contributed by: Jon Perry (April 2011)
Open content licensed under CC BY-NC-SA
Snapshots
Details
Permanent Citation