Real sequence/Tending to infinity/+/Definition