Beweis. Sei (an) beschränkt und M = {an : n IN}. 1. Fall: M ist endlich. Dann müssen unendlich viele Folgeglieder untereinander gleich sein:

an0 = an1 = an2 = := a. Folglich ist a ein Häufungspunkt von (an). 2. Fall: M ist unendlich. Nach dem Satz von Bolzano-Weierstraß besitzt M als nicht-leere und beschränkte Menge einen Häufungspunkt a. Dieses a ist dann auch Häufungspunkt der Folge (an).   <mi 
>P</mi><mi 
>I</mi><mi 
>C</mi><mi 
>T</mi>