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| < ε.