Rohit Kumar Jha

Optimal irrationality measures for logarithms of rational numbers and a compatible-embedding extension

We prove that the irrationality exponent of log r is 2 for every positiverational number r different from 1. In particular, μ(log 3) = 2. The proof extends the separated-weight interpolation and determinantmethod of OpenAI's proof that the irrationality exponent of π is 2.The geo...