Definition:Divergent Real Sequence to Negative Infinity