בבקשה
בסה"כ נראה בסדר אם כי ניתן לנסח באופן יותר מסודר. לדוגמא
1. טענה - סדרה an המתכנסת לאינסוף אינה מונוטונית עולה.
לעניות דעתי, בשלב זה של לימודייך מותר לך להתבסס על זה ללא הוכחה. אם רוצים בכל זאת להוכיח אז:
נתונה an --> inf. כלומר, לכל M קיים N כך שלכל n>N מתקיים an>M. בפרט עבור M=a1 קיים n המקיים an > a1 ולכן הסדרה אינה מונוטונית יורדת.
2. טענה: אם f מקיימת lim (x-> inf) f(x) = inf, אז קיים b כך ש-(f(b+1)>f(b
הוכחה: נסתכל על an=n. ברור ש-an --> inf ולכן לפי היינה והנתון f

--> inf.
לכן לפי טענה 1 יוצא ש-(f(n אינה יורדת ולכן קיים b כך ש-(f(b+1)>f(b.
3. טענה: אם f מקיימת lim (x-> -inf) f(x) = inf, אז קיים a כך ש-(f(a+1)<f(a
הוכחה: אותו הדבר רק an=-n.
הסיום שלך מכאן הוא על הכיפאק.