$\pi(x) - \frac{x}{\ln x} \to 0$

$\frac{\pi(x)}{x/\ln x} \to 1$

$\pi(x) = \frac{x}{\ln x} + O(1)$

$\pi(x) \leq \frac{x}{\ln x}$ for all $x$