שינויים
/* חסמים */
נניח בשלילה כי קיים <math>\epsilon >0</math> כל שלכל האיברים <math>a\in A</math> מתקיים <math>a\leq M-\epsilon</math>.
לכן, לפי ההגדרה, <math>M-\epsilon</math> הוא חסם מלעיל של הקבוצה. מכיוון שאפשאפסילון גדול מאפס, <math>M-\epsilon</math> הוא חסם מלעיל קטן ממש מהחסם העליון <math>M</math>, בסתירה לכך שהוא חסם המלעיל הקטן ביותר.
