Sei g = lim (a) . Wegen der Monotonie folgt g ≥ an für alle n∈ℕ.
Also ist g eine obere Schranke für { an | n∈ℕ } = Bild(a).
Sei nun g ' < g . Somit g-g' = ε > 0.
Da g = lim (a) gibt es ein N∈ℕ so dass für alle
n∈ℕ gilt n>N ==> |an - g| < ε .
Wegen (s.o.) g ≥ an folgt |an - g| = g - an .
==> g - an < ε = g-g'
==> - an < -g'
==> an > g'
Also ist g ' keine obere Schranke. Somit gibt es keine kleinere
obere Schranke von Bild(a) als g, also ist g das Supremum von Bild(a).