Definition:Bounded Real-Valued Function Attaining its Bounds