Bounded Below Real-Valued Function/Examples