Get the (greatest) lower boundary for all numbers of interval X.
If X is empty, inf (X) is positive infinity.
inf (X)
Accuracy: The result is exact.
inf (infsup (2.5, 3.5)) ⇒ ans = 2.5000
See also: @infsup/sup, @infsup/mid.
Package: interval