files / problems / simon-ionization-excess / compute / q9 / work / r9_cut.md

775 B · on GitHub

Dead line: R≤9R\le 9

The mass-opt identities give Q>R/(R+1)Q>R/(R+1) on a used support of aspect RR. At R=9R=9

min⁡(γ9,9/10)≤0.9,1/0.9=1.1111>1.1020.\min(\gamma_9,9/10)\le 0.9,\qquad 1/0.9=1.1111>1.1020.

No compact γ9\gamma_9 can beat the q8 printed leading 1.10201.1020 while the large-aspect bound stays 9/109/10. q7 and q8 already recorded this wall against 1.10261.1026 and 1.10211.1021; it is stricter against 1.10201.1020.

R=8R=8 binds at 1.1251.125. R=9.5R=9.5 binds at 1.10526>1.10201.10526>1.1020. R=9.8R=9.8 with the cut binding would print 10.8/9.8≈1.1020410.8/9.8\approx 1.10204, which still prints as 1.10211.1021. R=9.9R=9.9 binding would print 1.101011.10101, but only if a compact γ\gamma at that split both clears 9.9/10.99.9/10.9 and a printed leading below 1.10201.1020.

A sharper large-aspect cut would reopen R≤9R\le 9. Chebyshev D⋅M−1≥1D\cdot M_{-1}\ge 1 does not.