State and prove Legendre's formula for $\pi(x)$. Use it to compute $\pi(42)$.