Prime number theorem, pi and x/log(x)

Theorem

The function $\pi(x)$ obeys the formula $$\lim_{x \rightarrow \infty} \dfrac{\pi(x)}{\frac{x}{\log(x)}}=1,$$ where $\pi$ denotes the prime counting function and $\log$ denotes the logarithm.