Ничего не нашлось!
Попробуйте переформулировать запрос.
Вы можете предложить добавить решение/материал.
Свойства подпоследовательностей

Содержимое задачи.

К решению
Задача 143
Нормальная

Доказать теорему Штольца, если

то

Решение

Лемма о медианных дробях

Пусть даны две дроби

Тогда

Доказательство

Нам дано, что

Умножим обе части неравенства на :

Теперь докажем требуемое неравенство:

Доказательство левой части

Умножим обе части неравенства на :

Вычтем из обеих частей :

Как мы показали выше, это неравенство выполняется.

Доказательство правой части

Умножим обе части неравенства на :

Вычтем из обеих частей :

Как мы показали выше, это неравенство выполняется.

Имеется также важное следствие. Если

при , то

Доказывается оно элементарно поочередным применением самой леммы.

Вспомогательное неравенство

Из условия известно, что

Распишем это по определению:

Возьмем какое-нибудь произвольное . Раз определение выше выполняется для любого положительного числа, то и для положительного существует такое , что для любого выполняется неравенство

Раскроем это неравенство в цепоное по пункту 1 прото-задачи П-ссылка:

Прибавим ко всем частям неравенства :

Примем теперь за , чтобы мы неравенство выше выполнялось для любых . Итак, неравенство выше выполняется для следующих дробей:

Расположим все эти дроби в порядке возрастания и применим к ним следствие из доказанной выше леммы о медианных дробях:

Вычтем из всех частей неравенства :

Воспользуемся пунктом 1 прото-задачи П-ссылка в обратную сторону и получаем важное вспомогательное неравенство, которое потребуется далее:

Сходимость

Теперь попробуем представить само выражение внутри модуля неравенства выше в другом виде:

Итак,

Начем изолировать выражение справа:

Рассмотрим теперь следующее выражение:

Воспользуемся свойством модуля (см. прото-задачу П-ссылка):

Итак,

Поэтому

Осталось только разобраться с

Внутри модуля находится последовательность

которая стремится к с учетом того, что в числителе находится константа:

Мы воспользовались тем фактом, что если , то (см. прото-задачу П-ссылка).

Распишем по определению, что значит стремление к у последовательности выше:

Раз выполняется для любого положительного , то и для положительного найдется такое , что для любого будет выполняться неравенство

Возвращаемся к :

Стоит отметить, что здесь речь идет уже о , чтобы одновременно выполнялись выведенное выше вспомогательное неравенство и неравенство из .

Мы показали, что какое ни возьми, всегда найдется такие и , что для любого будет выполняться неравенство

Это по определению означает, что