| 0.6906538* | Griego [Gri26] | Proposed asymptotic two-block certificate with exact rational interval verification of the limiting inequality. No explicit finite threshold $N$ is supplied. |tracked since 2026-07-24 — no movement seen yet
Lower bound, last-listed row
| >1/2 | Biró [Bir00b] | Biró's proof delivers some computable constant $1/2<c<1/\sqrt{2}$, but it is not computed there exactly which. |tracked since 2026-07-24 — no movement seen yet
Cite this rowBounds Ledger — Turan's pure power sum constant (42a)
upper bound: 0.6906538* (tracked since 2026-07-24 — no movement seen yet)
lower bound: >1/2 (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/42a.html