an2 konvergent heisst, ∣an2−a2∣≤ϵ′ für n>n0 und alle ϵ′>0. Man kann als Grenzwert a2 wählen, weil der Grenzwert von an2 ja ≥0 sein muss.
Jetzt gilt ∣an2−a2∣=∣an−a∣∣an+a∣≤M∣an−a∣≤∣Mϵ′ weil jede konvergente Folge beschränkt ist. Wähle ϵ′=Mϵ dann folgt die Behauptung.