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