Real numbers/Cauchy sequence/Definition