Уважаемый Феликс Шмидель!
должно быть

, а значит

.
А так же по аналогии

и

,
что приводит

,
отсюда

. В чем ошибка?
Предложенная Вами методика позволяет, мне кажется, прийти к противоречию.
Если справедливы сравнения

,

, то справедливы и сравнения

,

,
отсюда

,
но благодаря МТФ

,
тогда

,
где K любое натуральное число
Так как Решения уравнения ВТФ носят фиксированные значения целых рациональных чисел, то и числа

принимают фиксированные значения, а значит существует такое максимальное натуральное число

, что для

справедливо

Но методика позволяет доказать, что

, что невозможно в силу (1).
Пришли к противоречию.