Some Steps in the Proof of Theorem 4.1

ψ(x)=mlog2xϑ(x1/m)=ϑ(x)+2mlog2xϑ(x1/m).

Subtracting ϑ(x) from both sides, we get

ψ(x)ϑ(x)=2mlog2xϑ(x1/m)2mlog2xx1/mlogx1/m2mlog2xx1/2logx1/2(log2x1)x1/2logx1/2(log2x)xlogx.