Real sequence/Tending to infinity/-/Definition