Category:Examples of Bounded Below Real-Valued Functions