370 IX The Number of Prime Numbers
It follows from (3) 1 –(3) 2 thatR(x)=O(x/logαx)for someα>0 if and only if
Q(x)=O(x/logα+^1 x). Consequently, by Lemma 3,
ψ(x)=x+O(x/logαx) for everyα> 0if and only if
π(x)=∫x2dt/logt+O(x/logαx) for everyα> 0 ,andπ(x) then has the asymptotic expansion
π(x)∼{ 1 +1!/logx+2!/log^2 x+···}x/logx,the error in breaking off the series after any finite number of terms having the order of
magnitude of the first term omitted.
It follows from (3) 1 –(3) 2 also that,for a givenαsuch that 1 / 2 ≤α<1,
ψ(x)=x+O(xαlog^2 x),if and only if
π(x)=∫x2dt/logt+O(xαlogx).The definition ofψ(x)can be put in the formψ(x)=∑
n≤xΛ(n),where thevon Mangoldt functionΛ(n)is defined by
Λ(n)=logpifn=pαfor some primepand someα> 0 ,
=0otherwise.For any positive integernwe have
logn=∑
d|nΛ(d), (4)since ifn=pα 11 ···pαssis the factorization ofninto powers of distinct primes, then
logn=∑sj= 1αjlogpj.3 ProofofthePrimeNumberTheorem
TheRiemann zeta-functionis defined by
ζ(s)=∑∞
n= 11 /ns. (5)