Definition:Bounded Below Real Sequence