Доброго времени, уважаемые форумчане.
Читаю некоторые лекции по цепным дробям и наткнулся на эту теорему [в оффтопе сама картинка текста]
(Оффтоп)
Собственно, вопрос:
Мне всё понятно до случая

. Откуда берётся "следовательно

"?. Ведь дробь

удовлетворяют условию теоремы, тогда имеем

, то есть совершенно противоположный вывод. Или предполагается док-во от противного, то есть для

, которая является подходящей дробью предположим, что условие теоремы не выполнено и получим противоречие? Но тогда это не вяжется с следующей строчкой, где оценивается сумма расстояний от дробей до нашего иррационального числа.
Как это, собственно, правильно понимать?