Докажем более общее утверждение, откуда и получим нужный результат.
Вначале для удобства докажем лемму:
Лемма 1:
Для всех
,
.
Доказательство:
Предположим поначалу что
. Обозначим
и докажем что
.
Используя неравенство Бернулли получаем,
(для всех
)
Следовательно,
Откуда из теоремы о двух милиционерах выводим,
Следовательно,
Что и требовалось.
Осталось доказать лемму для
.
Так как
, мы можем воспользоваться уже тем что доказали ранее:
Откуда получаем,
Ч.Т.Д.
Утверждение:
Пусть
, тогда
Доказательство:
Пусть
число выполняющее
.
Для всех
выполняется,
А также,
Следовательно,
То есть,
Из Леммы 1 следует:
Откуда при помощи теоремы о двух милиционерах получаем,
Ч.Т.Д.
Теперь с легкостью находим нужный нам предел: