то и сумма (разность) их также имеет конечный предел, причем
Из условия теоремы следует, что
где
- бесконечно малые. Тогда
Здесь
есть бесконечно малая по лемме 1; следовательно, пользуясь вторым определением предела, можно утверждать, что варианта
имеет предел, равный
что и требовалось доказать.
Эта теорема и ее доказательство переносятся на случай любого конечного числа слагаемых.
2° Если варианты
имеют конечные пределы:
то и произведение их также имеет конечный предел, и
Исходя из тех же равенств (1), имеем на этот раз
Выражение в скобках, в силу лемм 1 и 2, есть величина бесконечно малая. Отсюда и следует, что варианта хпуп, действительно, имеет пределом
Эта теорема может быть распространена на случай любого конечного числа сомножителей (например, методом математической индукции).
3° Если варианты
имеют конечные пределы:
причём
отлично от 0, то и отношение их также имеет конечный предел, а именно,
Поскольку
, согласно утверждению 3° в 26, начиная с некоторого места, не только
но даже
где
- постоянное число. Ограничимся теми значениями номера
для которых это выполняется; тогда отношение — заведомо имеет смысл.
Исходя, по-прежнему, из равенств (1), имеем
Выражение в скобках, в силу лемм 1 и 2, есть величина бесконечно малая. Множитель же при нем, на основании сказанного вначале, будет ограниченной переменной:
Следовательно, по лемме 2, все произведение справа будет бесконечно малым, а оно представляет разность между вариантой
и числом
Итак, предел — есть
что и требовалось доказать.