Тут одно из двух: или предел не существует и тогда ваши сомнения оправданы или тут все правильно
Справа написан предел подпоследовательности. А если он (в смысле, предел самой последовательности) существует, то обязан быть равен пределу любой своей подпоследоватлеьности
ЗЫ А что там доказывается то? Предел вычисляется или доказывается его существование-несуществование?
Ну да, меня и смутило как раз это предположение о существовании предела исходной последовательности. Автор посчитал его существование очевиднымя, а я застопорился.
А доказывается равенство этого предела
.