CRGreathouse
Apr7-09, 12:40 PM
Title says it all. I see a few claims online
\pi(x) = \operatorname{Li}(x)+O\left(x\exp\left(-\frac{A(\ln x)^{3/5}}{(\ln \ln x)^{1/5}}\right)\right) for some constant A
\pi(x) = \operatorname{li}(x)+O\left(xe^{-\sqrt{\ln x}/15}\right)\!
but no sources and no idea how old these are (or if they've been improved). Anyone know?
\pi(x) = \operatorname{Li}(x)+O\left(x\exp\left(-\frac{A(\ln x)^{3/5}}{(\ln \ln x)^{1/5}}\right)\right) for some constant A
\pi(x) = \operatorname{li}(x)+O\left(xe^{-\sqrt{\ln x}/15}\right)\!
but no sources and no idea how old these are (or if they've been improved). Anyone know?