Prime counting

The prime counting function $\pi \colon \mathbb{R} \rightarrow \mathbb{Z}^+$ is defined by the formula $$\pi(x) = \{\mathrm{number \hspace{2pt} of \hspace{2pt} primes} \leq x \}.$$

Properties

Theorem (Prime Number Theorem): The function $\pi(x)$ obeys the formula $$\lim_{x \rightarrow \infty} \dfrac{\pi(x)}{\frac{x}{\log(x)}}.$$

Proof: proof goes here █