Definition:Unbounded Above Sequence