Equivalence · version 1

Equivalent formulation: the prime-counting error

Earlier version 1. View current version 3 →

Statement

RH holds if and only if π(x) = Li(x) + O(√x log x) as x → ∞, where π counts primes and Li denotes the logarithmic integral.

Assumptions

  • Classical prime-counting function for rational primes.
  • The big-O assertion is for all sufficiently large real x, with one fixed implied constant.

Scope

An equivalent formulation of the same canonical question.

Evidence

Source reports

Connections

In this problem · publication v3 · Selected context

Riemann hypothesis →

Equivalent formulation · Open

The equivalence is established; the displayed asymptotic error assertion itself is unproved. The prime number theorem alone gives a weaker error guarantee.

Relationship not independently reviewed. This concerns its use in this problem.

Sources

Bombieri · official RH description →

Enrico Bombieri · Published

Official Clay exposition. Historical results and approaches must not be read as current record bounds.

Revision & attribution

Source revision: official-description. Observed Oct 10, 2026.

The cited work does not report AI involvement; absence of attribution is not evidence of absence.

Official description PDF: official-description. External source evidence; no OpenMath execution or independent reproduction is attached.

History

Statement versions

Statement versions and problem publication versions are separate. A new publication can update context or sources while retaining the same statement.

Assessment history · 1

Assessments retained in these publication records. Earlier statement versions retain their own source histories.

Record details
Claim ID
claim-rh-prime-counting-equivalence
Statement version
1
SHA-256
6014012cfc6833b90531b70ab8743e77510c45515af6e98bab5272dc8c660d13

Publication records