Satz 3.9 (Cauchysches Konvergenzkriterium) Eine Folge (an) ist konvergent (in IR) gdw

für jedes ε > 0 ein n0 existiert, so daß für jedes m,n n0 gilt : |an - am| < ε.