Real numbers/Series/Cauchy-criterion/Fact/Proof/Exercise