Real numbers/Sequence/Tending to infinity/Definition