Es sei (xn)n∈ℕ eine wachsende, nach oben beschränkte reelle Folge.
Dann ist (xn)n∈ℕ eine Cauchy-Folge.