MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

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.$$