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