Put . It is nonzero by unique prime factorization. If or , the claimed inequality follows immediately after increasing the effective constant. We may therefore assumewhich implies .
The Baker lower bound for a homogeneous linear form in logarithms, with the fixed algebraic numbers and , givesfor an effective absolute constant . If , the desired conclusion is again immediate. Otherwise, the mean value theorem applied to the exponential function on gives . HenceAbsorbing the fixed factor into a larger exponent proves .
Articles by others on the same topic
There are currently no matching articles.