$\pi(x) - Li(x) = O(x^k)$ for all $k > 0$

$\pi(x) < Li(x)$ for all $x > 2$

$\pi(x) > Li(x)$ for sufficiently large $x$

The difference $\pi(x) - Li(x)$ changes sign infinitely often