Finite bad-cell estimate for Darboux sums

ID: finite-bad-cell-estimate-for-darboux-sums

Let on and let have interior division points. At most cells of the equal-length partition have one of those points in their interior. Their total length is at most , and their oscillation is at most . Every other cell lies in a single cell of . Therefore
This comparison of Darboux sums avoids the incorrect assumption that refines for all large .

New to topics? Read the docs here!