Riemann integrability criterion (source code)

= Riemann integrability criterion
{c}

A bounded function is Riemann integrable exactly when for every $\varepsilon>0$ some partition $P$ satisfies $U(f,P)-L(f,P)<\varepsilon$.