 Lower Darboux sum

For a bounded function $f$ and a partition of an interval $P$, the lower Darboux sum multiplies the infimum of $f$ on each subinterval by its length and adds the results.