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

< Real numbers < Series < Cauchy-criterion < Fact < Proof

Prove the Cauchy criterion for series of real numbers.