Von konvergent ist doch keine Rede. Wohl eher so:
Beh.: (an)n∈N ist nach oben beschränkt.
(nach unten sowieso wegen an ∈ℝ≥0 .)
Angenommen, dem wäre nicht so, dann gibt es zu jedem k∈ℕ
ein n∈ℕ mit an>k . Wähle dann bk := an .
Dann wäre ( bk)k∈N eine Teilfolge von an, die gegen
unendlich geht. Widerspruch!