Lemma: Riemann's Lemma

Suppose f is a bounded function defined on the closed, bounded interval [a, b]. Then f is Riemann integrable if and only if for every > 0 there exists at least one partition P such that
| U(f,P) - L(f,P) | <