Lower Darboux sum (source code)

= Lower Darboux sum
{title2=$L(f,P)$}

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.