Definition:Bounded Below Real-Valued Function