Real numbers/Sequences/Squeeze criterion/Fact