Real numbers/Series/Cauchy-criterion/Fact