Definition:Unbounded Below Sequence