Consider: 22n>(n2n)=n+1∏2na>n∏2np Where p is prime that n<p<2n.
Therefore: 2nlog2>ϑ(2n)−ϑ(n) By summing up all this formula by n=1,2,4,...,2m−1. 2m+1log2>2m+1−2log2>ϑ(2m) Let 2m−1<x<2m: ϑ(x)<ϑ(2m)<2m+1log2=4log(2)2m−1<4log(2)x
Corollary 1
π(x)<Clogxx, where C is some positive constant.
Proof:
By proposition 3: ϑ(x)≥p>x∑p≤xlogp So we have ϑ(x)≥log(x)(π(x)−π(x)) So: π(x)≤logx2ϑ(x)+x≤2logxx
Corollary 2
Prove that xπ(x)→0 as x→∞
Proof:
Consider: x→∞limxπ(x)≤nϕ(n) Since the given primes are always fall into relatively prime of n, for all positive n.
Remind that: ϕ(n)=np∣n∏(1−p1)
nϕ(n)=p∣n∏(1−p1)
When n→∞, each term of product is smaller than 1. x→∞limxπ(x)=0
Proposition 4
π(x)>Clogxx when C is some positive constant.
Proof:
First prove a little proposition: ordpn!=i=1∑nordpi=i=1∑∞⌊pin⌋ Now consider: (n2n)≥2n
Since ⌊pi2n⌋−2⌊pin⌋ is always 0 or 1. ordp(n2n)≤t Here t is the largest integer that pt≤2n and t=⌊logplog2n⌋ordp(n2n)≤logplog2n So: 2n≤(n2n)≤p<2n∏p⌊logplog2n⌋
nlog2≤p<2n∑⌊logplog2n⌋logp
For those p>log2n, $ \lfloor\frac{\log{2n}}{\log{p}} \rfloor = 1$ nlog2≤p<2n∑⌊logplog2n⌋logp+p>2n∑p<2nlogp
nlog2≤2nlog2n+ϑ(2n)
Now we have: ϑ(2n)>nlog2−2nlog2n The second part is relatively small when n→∞
So when n is large enough: ϑ(2n)>Cn That is: ϑ(x)>Cx Now bound with π(x); π(x)≥logxϑ(x)>clogxx So π(x) is bound by ϑ(x) on both side, that means π(x)xlogx→1asx→∞ Which is Prime Number Theorem