Put . It is nonzero by unique prime factorization. If or , the claimed inequality follows immediately after increasing the effective constant. We may therefore assume
which implies .
The Baker lower bound for a homogeneous linear form in logarithms, with the fixed algebraic numbers and , gives
for an effective absolute constant . If , the desired conclusion is again immediate. Otherwise, the mean value theorem applied to the exponential function on gives . Hence
Absorbing the fixed factor into a larger exponent proves .
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.