Improved Constants for Effective Irrationality Measures from Hypergeometric Functions

Paul Voutier

Published 2021-11-01, updated 2022-05-18Version 2

In this paper, we simplify and improve the constant, $c$, that appears in effective irrationality measures, $|(a/b)^{m/n}-p/q|>c|q|^{-(\kappa+1)}$, obtained from the hypergeometric method for $a/b$ near $1$. The dependence of $c$ on $|a|$ in our result is best possible (as is the dependence on $n$ in many cases). For some applications, the dependence of this constant on $|a|$ becomes important. We also establish some new inequalities for hypergeometric functions that are useful in other diophantine settings.