State/Chebyshev estimates for the prime number function

 =Proof= Our proof is based on that in the book of Erdos and Suranyi. We begin by proving a lower bound for $\pi(x)$:

Next, we prove an upper bound for $\pi(x)$.