Раздел I. Введение в анализ§ 2. Теория последовательностей

Демидович — задача 59

Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие и подробное решение по шагам.

Доказать следующее равенство:

Задача 59

limn2nn!=0.\lim_{n\to\infty}\frac{2^n}{n!}=0.

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

Идея

Верен общий факт, что:limnqnn!=0,q>1\lim_{n\to\infty}\frac{q^n}{n!}=0, \forall q > 1Но докажем, пока что, только его частный случай.
Запишем нашу последовательность в виде произведения nn дробей:xn=2nn!=212223242nx_n = \frac{2^n}{n!} = \frac{2}{1} \cdot \frac{2}{2} \cdot \frac{2}{3} \cdot \frac{2}{4} \cdots \frac{2}{n}Первые два множителя дают 2122=2\frac{2}{1} \cdot \frac{2}{2} = 2. Начиная с третьего множителя (k3k \ge 3), каждая дробь удовлетворяет очевидному неравенству 2k23\frac{2}{k} \le \frac{2}{3}. Всего таких дробей от 33 до nn ровно n2n-2 штуки.

Заменим каждую такую дробь на 23\frac{2}{3} и получим строгую оценку сверху (для n3n \ge 3):0<xn2232323=2(23)n20 < x_n \le 2 \cdot {\frac{2}{3} \cdot \frac{2}{3} \cdots \frac{2}{3}} = 2 \cdot \left(\frac{2}{3}\right)^{n-2}Поскольку основание степени меньше единицы (23<1\frac{2}{3} < 1), то (23)n2\left(\frac{2}{3}\right)^{n-2} стремится к нулю при nn \to \infty.

Проверка

Тогда по теореме о зажатой последовательности вся наша последовательность xnx_n тоже обязана стремиться к нулю:limn2nn!=0\lim_{n\to\infty} \frac{2^n}{n!} = 0limn2nn!=0.\lim_{n\to\infty}\frac{2^n}{n!}=0.

Что и требовалось доказать

Демидович № 59 — решение