Effective constants in Baker's bound on approximations of log(3)

111 Views Asked by At

Alan Baker gives an upper bound on $1/\log(3) - p/q$, providing a limit on how well $\log(3)$ can be approximated by $(p,q)$ of a given size. His bound is $3^p c / q^d$. The constants $c$ and $d$ are effective, but I can't find actual values of $c$ and $d$ for which the bound provably holds. Does anyone know such values, ideally the tightest ones so proven? Thanks very much.