Теор. о бесконечно малой последовательности Опции

[Gerc]

Имеется теорема и ее доказательство, но оно краткое, и по мне не очень убедительное. Почему из предпоследнего выражения вытекает последнее. Где для последовательности An выражение по определению (т.е. для любого епсилона...)