Definition:Divergent Real Sequence to Infinity