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

767 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.1017.\min(\gamma_9,9/10)\le 0.9,\qquad 1/0.9=1.1111>1.1017.

No compact γ9\gamma_9 can beat the q9 printed leading 1.10171.1017 while the large-aspect bound stays 9/109/10. q7--q9 already recorded this wall against 1.10261.1026, 1.10211.1021, 1.10201.1020, and 1.10171.1017.

R=8R=8 binds at 1.1251.125. R=9.5R=9.5 binds at 1.10526>1.10171.10526>1.1017. 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.1021>1.10171.1021>1.1017. 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.10171.1017.

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