lower Darboux sum,
n.
another term for
lower sum
.