The logarithms of rational numbers have irrationality exponent 2 [pdf]

3 comments

• elromulous an hour ago

  I love this footnote

  ∗Author of The Da Vinci Code.

  [-]
  • avaer an hour ago

    Is this actually true or fraudulent? I couldn't tell.

• jdb1729 4 hours ago

  This is a Lean-verified variation of the OpenAI proof for pi.