Лемма 1. Пусть последовательности {xn} и {yn} таковы, что 0 <= yn <= xn, начиная с некоторого n = n0. Тогда если xn→0 при n→∞, то и yn→0 при n→∞.
Так как 0 <= yn <= xn, начиная с некоторого n = n0, то верно 0 <= |yn| <= |xn|. Видно, что xn бесконечно малая, так как раз она стремится к нулю при возрастании n, то для любого сколь угодно малого положительного ε найдется n >= Nε такой, что |xn| < ε. Тогда |yn| и подавно будет меньше ε. Таким образом и yn - бесконечно малая, то есть yn→0 при n→∞.
Пусть последовательности {xn}, {yn}, {zn} таковы, что при любом n соблюдается условие:
xn <= yn <= zn. Пусть также lim xn = lim zn = a. Тогда lim yn = a.
Зададимся произвольным ε > 0. При каком-то n > N1 будет справедливо неравенство:
a - ε < xn < a + ε.При каком-то n > N2 будет справедливо неравенство: a - ε < zn < a + ε.
При n > N1 и n > N2 (то есть обоих сразу) будут выполняться оба неравенства, поэтому, можно записать:
a - ε < xn <= yn <= zn < a + ε. Для yn теперь справедливо a - ε < yn < a + ε или |yn - a| < ε. Таким образом, действительно a является пределом yn.
Теперь, пользуясь этими знаниями и Метод математической индукции. Неравенство Бернулли. докажем
Пример 9 из сборника задач по математическому анализу Кудрявцева (Т.1, 2003 год, параграф 8, стр. 131):
Пусть x > 1. Доказать, что lim x1/n = 1 при n→∞.
Введем an = x1/n - 1, тогда an > 0. По неравенству Бернулли имеем, что x = (1 + an)n >= 1 + nan. Тем более (1 + an)n >= nan. Таким образом x >= nan. Или же 0 < an <= x/n для любого n. x/n→0 при n→∞. По лемме 1
lim an = 0 при n→∞. lim an = lim (x1/n - 1) = lim x1/n - lim 1 = lim x1/n - 1. Получается lim x1/n - 1 = 0 или lim x1/n = 1.