Grenzwertdefinition ist doch hier:
x ist Grenzwert von (an)n∈ℕ <=> Für alle ε ∈ ℝ mit ε > 0 gibt es ein N∈ℕ
mit n>N ==> ||an-x|| < ε.
Wenn es für jedes ε ∈ ℝ mit ε > 0 nur endlich viele Folgenglieder
mit ||an-x|| ≥ ε, dann ist für jedes ε die Menge { n∈ℕ | ||an-x|| ≥ ε }
endlich, besitzt somit ein Maximum. Wähle dieses für das N aus der
Definition und die Def. ist erfüllt.