Prime-Counting Function is Theta of x over Logarithm of x

Theorem
We have:


 * $\ds \map \pi x = \map \Theta {\frac x {\ln x} }$

where:
 * $\Theta$ is big-$\Theta$ notation
 * $\pi$ is the prime counting function.