Cite this rowBounds Ledger — Essential minimum of the Zhang-Zagier height (82a)
upper bound: 0.2536331090204145 (tracked since 2026-07-24 — no movement seen yet)
lower bound: 0.24874 (tracked since 2026-07-24 — no movement seen yet)
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/82a.html