  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}$.
