# Extending Rosser's Theorem

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