Conditions for integrability

This is commonly called the Riemann-Lebesgue Theorem, or the Lebesgue Criterion for Riemann Integration (the wiki article).

The statement is that a function on $[a,b]$ is Riemann integrable iff

• It is bounded
• It is continuous almost everywhere, or equivalently that the set of discontinuities is of zero lebesgue measure