![Screenshot of jdb19937.github.io: The logarithms of rational numbers have irrationality exponent 2 [pdf]](https://hn.urlbox.com/shots/renders/2026/10/10/3771ae7f-7658-4460-b339-470c583bc18c.jpg)
The logarithms of rational numbers have irrationality exponent 2 [pdf](jdb19937.github.io)
16 points by jdb1729 | 3 comments
A math paper by Dan Brown claiming the irrationality measure of log of any rational number other than 1 is 2, with the proof formalized in Lean 4 over Mathlib.