Computing $\pi(x)$ Analytically
  We describe a rigorous implementation of the Lagarias and Odlyzko Analytic Method to evaluate the prime counting function and its use to compute unconditionally the number of primes less than $10^{24}$. 
David J. Platt
math.NT