Minorant - crowlogic/arb4j GitHub Wiki

A minorant is a function, value, or sequence that serves as a lower bound for another function, value, or sequence. Specifically, given a partially ordered set, a minorant is an element that is less than or equal to every other element in the set. In the context of functions, a function $f$ is said to be a minorant of another function $g$ if, for all points in their common domain, the value of $f(x)$ is less than or equal to the value of $g(x)$. In other words, $f(x) \le g(x)$ for all $x$ in the domain. Minorants are useful in various mathematical contexts, including the study of sequences, series, and functions, as well as in optimization and order theory.