Pith. sign in

REVIEW 1 cited by

Sharper bounds for the error term in the Prime Number Theorem

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 2206.12557 v2 pith:46GEKLU3 submitted 2022-06-25 math.NT

classification math.NT
keywords boundsnumericprimesqrtveryableadditionallyasymptotic
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

We provide very effective methods to convert both asymptotic and explicit numeric bounds on the prime counting function $\psi(x)$ to bounds of the same type on both $\theta(x)$ and $\pi(x)$. This follows up our previous work on $\psi(x)$ in \cite{FKS}, and prove that $ | \pi(x) - \mathrm{Li}(x) | \leq 9.2211\, x\sqrt{\log(x)} \exp \big( -0.8476 \sqrt{\log(x)} \big) $ for all $x\ge 2$. Additionally, we are able to obtain the best numeric bounds for $x$ on a very large interval (all $x$ up to $\exp(1.8\cdot10^9)$).

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. An effective version of Chebotarev's density theorem

    math.NT 2025-08 unverdicted novelty 6.0 of 10

    A fully explicit refinement of Lagarias and Odlyzko's effective Chebotarev theorem for all non-rational number fields, with a sharper error term for small-degree extensions.

Pith tools