Для этого заметим, что, как мы проверяли выше,

--
величина большего порядка малости, чем

.
Аналогично проверяется, что

--
величина большего порядка малости, чем

.
Поскольку слагаемые большего порядка малости можно отбросить, то
Далее, поскольку

,
очевидно, эквивалентен

(согласно первому замечательному пределу), а

эквивалентен

,
то последний предел можно упростить, заменив бесконечно малые в числителе и знаменателе
на эквивалентные им, а затем сократить на

:
При
вычислении пределов часто бывают полезны также следующие два утверждения.
Предложение
2.8 Пусть
и
.
Тогда:
1) 
и
2)
при любом
(в случае, если степень
определена только при
,
нужно потребовать, чтобы выполнялось неравенство
.
(Заметим, что второе
утверждение не следует из первого, поскольку

--
не обязательно целое число.)
Доказательство.
Первое утверждение означает, согласно определению эквивалентности, что
если известно, что
и
Но это сразу следует из
теоремы о пределе произведения ( теорема 2.9).
Второе
утверждение означает, что
если известно, что
Это следует из того, что
степенная функция

непрерывна при любом

,
если

.
Как отмечалось выше, для непрерывной функции можно переставлять местами знак функции
и знак предела:
В случае степенной функции

,
сделав замену переменного

и связанную с ней замену базы, мы получим, что
Беря

,
получаем, что
что и требовалось доказать.