Not really sure if this should count, but: From Chebyshev's proof using the central binomial coefficient that there exists some constant $C>0$ such that
$$ \pi(x) < C\frac{x}{\log x} $$
for sufficiently large $x$, and from the infinitude of primes, we get that
$$ \log x \ll x. $$
