コーシー列
It follows that for all formula_70 formula_71 which proves that formula_72 is a Cauchy sequence.