lower integral
or
lower Darboux integral,
n.
the limit, as the lengths of its subintervals tend to zero, of the
lower sums
of a function on that interval; if this exists and is equal to the
upper integral
then the function is
Riemann integrable
.