Lecture 24.4 - A Cauchy Criterion for Integrability

Here we prove a "Cauchy criterion for integrability" which states that a function is integrable if and only if there exist partitions making the upper and lower Darboux sums arbitrarily close to one another.