Real numbers/Sequences/Squeeze criterion/Fact/Proof/Exercise