::::::אתה צודק שזה לא מובן מאליו שיש מקסימום, אבל זה חלק מאותה הוכחה מאינפי 1. מטבע הדברים, לסופרמום יש איברים קרובים כרצוננו ומהם ניתן לבנות תת סדרה ששואפת אליו ממש. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
:::::::קבוצת הגבולות החלקיים היא קבוצה סגורה, הוכיחו את זה באחד המבחנים באינפי 1. ולכן אפשר להגדיר אותו כמקסימום של הגבולות החלקיים. הנקודה היא שאו מה שאתה מבקש להוכיח זו ההגדרה או המקסימום של הגבולות החלקיים זו ההגדרה, אתה חייב להתחיל עם אחד מהם.