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.
Connections In this problem · publication v3 · Selected context
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.
History Statement versions Version 3 · Current Version 2 Version 1 · Viewing 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.
Open
Only the exact statement, domain and revision cited by this Claim; this is not a resolution of classical RH or independent OpenMath expert assessment.
Observed Oct 10, 2026 · Source passage →
Record details
Claim ID claim-rh-prime-counting-equivalence
Statement version 1
SHA-256 6014012cfc6833b90531b70ab8743e77510c45515af6e98bab5272dc8c660d13 Publication records