Sei (an) n∈ℕ monoton wachsend.
1. Fall: (an) n∈ℕ ist nach oben beschränkt, hat also einen Grenzwert g.
Dann gibt es zu jedem ε>0 ein n∈ℕ so dass für alle k∈ℕ gilt
k>n ==> g-ε < ak < g+ε
Also liegen für k>n sowohl Infimum als auch Supremum der
Menge { ak | k ≥ n } zwischen g-ε und g+ε.
Damit haben die Folgen der Infima bzw. Suprema beide den
gleichen Grenzwert g und damit ist
$$ \lim_{n\to\infty}inf ({a}_{n}) =\lim_{n\to\infty}sup ({a}_{n})=g $$
2. Fall (an) n∈ℕ ist nach oben NICHT beschränkt
, dann gilt für alle n∈ℕ :
Die Menge { ak | k ≥ n } hat das Infimum ak (wegen der Monotonie)
und das Supremum ∞ (wegen "nach oben nicht beschränkt" )
Da für k gegen ∞ die Folge der ak auch gegen unendlich geht ,
sind somit die Grenzwerte der Folgen der Infima und der Suprema beide ∞.