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

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

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

Задача 74

Доказать неравенства(ne)n<n!<e(n2)n.\left(\frac ne\right)^n<n!<e\left(\frac n2\right)^n.

Опирается на задачу 5, задачу 8, задачу 69

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

Идея

Две стороны неравенства требуют разных сравнений. Левую оценку удобно
переписать как nnn!<en\frac{n^n}{n!}<e^n: выражение слева возникает как предел
одного слагаемого подходящего биномиального разложения, а число ee — как
предел всей суммы. Для правой оценки задача 8 уже сравнивает n!n! со степенью
(n+12)n\left(\frac{n+1}{2}\right)^n; оставшийся множитель оценивается через
задачу 69. Случай n=1n=1, не охваченный формулировкой задачи 8, проверим
отдельно.
Левая оценка. Зафиксируем натуральное nn. Для достаточно большого натурального mm в разложении(1+1m)mn\left(1+\frac1m\right)^{mn}рассмотрим слагаемое с номером nn. По задаче 5(1+1m)mn>(mnn)1mn.\left(1+\frac1m\right)^{mn}
>\binom{mn}{n}\frac1{m^n}.
При mm\to\infty(1+1m)mn=[(1+1m)m]nen\left(1+\frac1m\right)^{mn}
=\left[\left(1+\frac1m\right)^m\right]^n
\longrightarrow e^n
по задаче 69. Кроме того,(mnn)1mn=(mn)(mn1)(mnn+1)n!mnnnn!.\binom{mn}{n}\frac1{m^n}
=\frac{(mn)(mn-1)\cdots(mn-n+1)}{n!\,m^n}
\longrightarrow\frac{n^n}{n!}.
Переходя к пределу, получаемennnn!.e^n\ge\frac{n^n}{n!}.На самом деле равенство здесь невозможно: в биномиальном разложении присутствуют и другие положительные слагаемые; например, уточнённая оценка(1+1m)mn>1+(mnn)1mn\left(1+\frac1m\right)^{mn}
>1+\binom{mn}{n}\frac1{m^n}
после перехода к пределу даётen1+nnn!>nnn!.e^n\ge1+\frac{n^n}{n!}>\frac{n^n}{n!}.Следовательно,n!>(ne)n.n!>\left(\frac ne\right)^n.Правая оценка. При n>1n>1 по задаче 8n!<(n+12)n.n!<\left(\frac{n+1}{2}\right)^n.Преобразуем правую часть:(n+12)n=(n2)n(1+1n)n.\left(\frac{n+1}{2}\right)^n
=\left(\frac n2\right)^n\left(1+\frac1n\right)^n.
По задаче 69(1+1n)n<e.\left(1+\frac1n\right)^n<e.Поэтому при n>1n>1n!<e(n2)n.n!<e\left(\frac n2\right)^n.Случай n=1n=1 также удовлетворяет неравенству, поскольку1<e2.1<\frac e2.В левой оценке строгий знак получен не из одного предельного перехода, который дал бы лишь нестрогое неравенство, а благодаря сохранению дополнительного положительного слагаемого. Это методически существенный момент.

Проверка

(ne)n<n!<e(n2)n.\left(\frac ne\right)^n<n!<e\left(\frac n2\right)^n.

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

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