The reciprocal sum of the prime-prefix-free numbers converges [pdf](jdb19937.github.io)
15 points by jdb1729 | 14 comments
A math paper proving, assuming the Riemann Hypothesis, that the reciprocal sum of prime-prefix-free integers (OEIS A287117) converges, with bounds verified in Lean 4.
![Screenshot of jdb19937.github.io: The logarithms of rational numbers have irrationality exponent 2 [pdf]](https://hn.urlbox.com/shots/renders/2026/10/10/6c4486a9-daca-41e5-92b0-577c63669b18.jpg)
![Screenshot of jdb19937.github.io: The reciprocal sum of the prime-prefix-free numbers converges [pdf]](https://hn.urlbox.com/shots/renders/2026/10/9/782dd723-5a0f-4ad2-9aa4-d11ae9b968a4.jpg)

![Screenshot of cr.yp.to: The cryptoint library (2025) [pdf]](https://hn.urlbox.com/shots/renders/2026/10/17/d7252175-f03a-4bd6-9d9e-1f6d618c09c4.jpg)

![Screenshot of gwern.net: The Legend of von Neumann (1973) [pdf]](https://hn.urlbox.com/shots/renders/2026/10/2/f40e3e6d-db7b-4d6b-8562-1f3d9460447c.jpg)
![Screenshot of eprint.iacr.org: Replication of Quantum Factorisation Records with an 8-bit Home Computer [pdf]](https://hn.urlbox.com/shots/renders/2025/7/12/624f7ad8-22a1-4ac0-8d2c-d1daef29c954.jpg)

![Screenshot of web.maths.unsw.edu.au: The recently proposed o(n log n) integer multiplication algorithm [pdf]](https://hn.urlbox.com/shots/renders/2026/10/22/031b3473-91fb-4202-9bf2-aa9a7fb3e59c.jpg)
![Screenshot of mathcs.holycross.edu: Calculus for Mathematicians, Computer Scientists, and Physicists [pdf]](https://hn.urlbox.com/shots/renders/2025/11/23/e229c1d5-fc4e-4c18-b5f1-458787f9acf1.jpg)

