Remote Access Mathematics of Computation
Green Open Access

Mathematics of Computation

ISSN 1088-6842(online) ISSN 0025-5718(print)

Request Permissions   Purchase Content 
 
 

 

An analytic method for bounding $ \psi(x)$


Author: Jan Büthe
Journal: Math. Comp.
MSC (2010): Primary 11N05; Secondary 11M26
DOI: https://doi.org/10.1090/mcom/3264
Published electronically: October 26, 2017
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: In this paper we present an analytic algorithm which calculates almost sharp bounds for the normalized remainder term $ (t-\psi (t))/\sqrt t$ for $ t\leq x$ in expected run time $ O(x^{1/2+\varepsilon })$ for every $ \varepsilon >0$. The method has been implemented and used to calculate such bounds for $ t\leq 10^{19}$. In particular, these imply that $ li(x)-\pi (x)$ is positive for $ 2\leq x\leq 10^{19}$.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Mathematics of Computation with MSC (2010): 11N05, 11M26

Retrieve articles in all journals with MSC (2010): 11N05, 11M26


Additional Information

Jan Büthe
Affiliation: Hausdorff Center for Mathematics, Endenicher Allee 62, 53115 Bonn, Germany
Email: jan.buethe@hcm.uni-bonn.de

DOI: https://doi.org/10.1090/mcom/3264
Received by editor(s): November 6, 2015
Received by editor(s) in revised form: August 21, 2016, and January 29, 2017
Published electronically: October 26, 2017
Article copyright: © Copyright 2017 American Mathematical Society