Definition:Divergent Real Sequence to Positive Infinity