Real numbers/Convergent sequences/Rules/3/Fact/Proof/Exercise