← all constants

The Wirsing Constant

83a
Upper bound, last-listed row
| $0.30366300289873265859\!\ldots\!6424297 + 10^{-175}$ | [GKW2026] | Certified spectral enclosure for the infinite-dimensional GKW operator; 175 digits |tracked since 2026-07-24 — no movement seen yet
Lower bound, last-listed row
| $0.30366300289873265859\!\ldots\!6424297 - 10^{-175}$ | [GKW2026] | Certified spectral enclosure for the infinite-dimensional GKW operator; 175 digits |tracked since 2026-07-24 — no movement seen yet
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 — The Wirsing Constant (83a) upper bound: $0.30366300289873265859\!\ldots\!6424297 + 10^{-175}$ (tracked since 2026-07-24 — no movement seen yet) lower bound: $0.30366300289873265859\!\ldots\!6424297 - 10^{-175}$ (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/83a.html