upjumpДвойка непринципиальна. Может стоять любое число, большее единицы.
Устойчивость строгого неравенства.
То есть, если избавиться от конкретики, что есть:
Отношение

.
Отсюда не следует, что

Зато, поскольку

(или 3, что нравится), при достаточно больших

. Откуда следует Ваша строчка.
Посмотрите еще доказательство ИТМЛ в Севастьянове. Может, больше понравится.
И еще. Вы дважды ошиблись, перепечатывая из учебника. Там не от чего получаться

в хвосте.