Из Кудрявцева цитирую (Краткий курс, стр. 103)
Цитата:
Действительно, если существует
то ...
И далее, если я правильно понимаю, доказывается, что эти пределы равны. Зачем это нужно? И так не понятно?
Вот чуть больше бы написали, а то не угадывается, какое определение у Кудрявцева взято за основное, а под рукой его у меня нет.
Если по Коши, то продолжение такое:
Цитата:
...
то есть ровно то, что требуется для выполнения равенства
по определению предела последовательности. В этом случае замечание вроде бы как и не стоит замечать.
Другое дело, если основным взято определение по Гейне, тогда будет так:
Цитата:
... для любой бесконечно большой последовательности
последовательность
сходится к
. Ну раз для любой, то и для последовательности
.
Как видите, пусть маленький и тривиальный шажок, но всё же требуется.