Aufgabe: Ist X nach oben beschränkt und ist S die Menge aller oberen Schranken von X, so ist S nach unten beschränkt und es gilt inf(S) = sup(X).  
S nach unten beschränkt   ist klar, weil jedes El. x von X eine untere Schranke von S ist; denn alle y aus S
müssen ja größer oder gleich x sein.
Demnach existieren   inf(S) und  (da X nach oben beschr.)  auch sup(X) und sind reelle Zahlen.
Da inf(S) eine untere Schranke von S ist gilt  inf(S) ≤ y für alle y ∈ S
da sup(X) eine obere Schranke von X ist , gilt   sup(X)  ∈ S also  inf(S) ≤  sup(X) .
Jetzt kommt der Widerspruchsbeweis: 
Wäre nun     inf(S) < sup(X) , dann gäbe es z ∈ IR mit     inf(S) < z <  sup(X)
Dann wäre z kleiner als die kleinste obere  Schranke von X ,  
also z keine obere Schranke von X .
Andererseits ist z größer als inf(S) , also gibt es s aus S mit s<z.
also ist z größer als eine obere Schranke s von X und damit ist z
selbst eine obere Schranke von X.  Widerspruch !