LECTURE NOTES IN ANALYSIS (2011)
《LECTURE NOTES IN ANALYSIS (2011)》 · 第 360–365 页 · Section 8.1「Elementary Prime Number Estimates」, Theorem 8.3
Theorem 8.3 Put $a_0=\frac12\log 2+\frac14\log 3$ and $b_0=\frac12\log 2+\frac34\log 3$. If $a<a_0$ and $b>b_0$, then there is a number $x_0$ such that $a x<\psi(x)<b x$ whenever $x>x_0$.