Cauchy's Convergence Criterion on Real Numbers