Prime number theorem, pi and x/log(x)
From specialfunctionswiki
Theorem (Prime Number 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.
Proof:
