Algebraic Number Theory
《Algebraic Number Theory》 · 第 180 页 · Section 6.2「The Prime Number Theorem」
Here $\operatorname{li}(x)$ is the logarithmic integral, $\operatorname{li}(x)=\int_2^x\frac{du}{\log u}$.