Definition:Upper Bound of Real-Valued Function