Real numbers/Sequence/Unique limit/Fact/Proof