← all constants

Classical zero-free region constant

8a
Upper bound, last-listed row
| $4.896$ | [BTY2026] | Bellotti–Trudgian–Yang: $\zeta(\sigma+it)\ne 0$ for $t\ge 3$ and $\sigma > 1 - 1/(4.896\log t)$; extends to $\lvert t\rvert \ge 2$ using verified RH up to $H = 3\cdot 10^{12}$. A companion Theorem 2 sharpens the constant further to $4.8594$ conditionally on unpublished improvements to prior inputs. |tracked since 2026-07-24 — no movement seen yet
Lower bound, last-listed row
| $2/\log \gamma\_{1} \approx 0.755106$ | - | Unconditional: $\gamma\_{1} = 14.1347\dots$ is the ordinate of the lowest zero of $\zeta$, and that zero has $\sigma = 1/2$, so any admissible $R$ must satisfy $1/2 \leq 1 - 1/(R\log\gamma\_{1})$. Optimal assuming RH. |bound cell edited 2026-09-05
Checked against material for its cited source
1 bound row(s) here have been checked against material for their cited source (1 drawn by position, 0 chosen because something already looked wrong). Across this whole ledger 70 row(s) have been drawn by position, against 691 rows that name a source, counted on 2026-09-27: 64 were checked against material for their cited sources and for 6 the cited source could not be read at all. 5 more were chosen for suspicion and checked; they are counted apart, because a set selected for suspicion carries no rate. A row not listed here has NOT been checked.
the mirrored file · upstream source · looks wrong?
Cite this rowBounds Ledger — Classical zero-free region constant (8a) upper bound: $4.896$ (tracked since 2026-07-24 — no movement seen yet) lower bound: $2/\log \gamma\_{1} \approx 0.755106$ (bound cell edited 2026-09-05) Mirrored from teorth/optimizationproblems@2c1968c. These are the last-listed rows of that constant's bounds table — a listing position, not a statement that this bound is the strongest or most recent. A snapshot at that sha, not a live read. https://u00dxk2.github.io/bounds-ledger/c/8a.html