Definition:Bounded Above Real-Valued Function