Pith. sign in

REVIEW 1 cited by

An analytic method for bounding psi(x)

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1511.02032 v2 pith:XZK5YT5J submitted 2015-11-06 math.NT cs.NAmath.NA

An analytic method for bounding psi(x)

classification math.NT cs.NAmath.NA
keywords boundanalyticmethodsqrtvarepsilonalmostaltorithmbeen
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

In this paper we present an analytic altorithm which calculates almost sharp bounds for the normalized error 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 the bound $|\psi(t) - t| \leq 0.94 \sqrt{t}$ for $11< t\leq 10^{19}$. In particular, this bound implies that $\operatorname{li}(t) - \pi(t) > 0$ for $t\in [2,10^{19}]$, which gives an improved lower bound for the Skewes number.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. An Efficient Algorithm for Estimating Prime Counts

    math.NT 2026-06 unverdicted novelty 3.0

    An incremental O(√x) algorithm estimates π(x) via generalized triangular number partitions and a numerically fitted correction term that matches known values up to 10^19.