Computing Analytically
arXiv:1203.5712
Abstract
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 .
15 Pages, 2 Figures