Definition:Bounded Real Sequence