Definition:Lower Bound of Real-Valued Function