זה לא משנה כל כך...
כלומר, אין ממש הבדל בין גבול בנקודה סופית לבין גבול באינסוף, אם משתמשים בסימון "סביבה של אינסוף" (מה שמראה שעם הגדרות מתאימות כל מיני דברים נראים הרבה יותר פשוטים) בכל מקרה, הקובץ מצורף. דרך אגב, בהוכחה הראשונה לא סימנתי בדלתא, קודם כתבתי משהו אחד, ואז שיניתי אותו למשהו אחר אז כבר לא שיניתי את M לדלתא. אהד.