Hat die Menge A ein Maximum so kann man b=max A wählen. Ebenso falls C ein Minimum hat. Bleibt also der Fall, dass A kein Maximum und C kein Minimum hat. Annahme: sup A> inf B. Wir wählen Epsilon so klein, dass $$sup A-\varepsilon>inf C +\varepsilon$$ Nach Def. des infimums existiert aber ein c in C mit $$csup A -\varepsilon$$. Damit ist $$a>c$$, der gewünschte Widerspruch.