Category:Bounded Below Real-Valued Functions

This category contains results about Bounded Below Real-Valued Functions.
Definitions specific to this category can be found in Definitions/Bounded Below Real-Valued Functions.

Let $f: S \to \R$ be a real-valued function.

Then $f$ is bounded below on $S$ by the lower bound $L$ if and only if:

$\forall x \in S: L \le \map f x$