# Extending Rosser's Theorem

Extending Rosser's Theorem

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 .

π(x)

x

lim=1

x∞

π(x)

x/ln(x)

p~nln(n)

n

p

n

n

th

p>nln(n)

n

n=1,2,3,…

p

n

>n(ln(n)+ln(ln(n))-1)

n>1

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

p(n)

n(ln(n)+ln(ln(n))-k)

nln(n)