Definition:Bounded Above Real Sequence