Theorem A bounded function f:[a,b]→Rf:[a, b] \rightarrow Rf:[a,b]→R is Riemann integrable iff for every ϵ>0\epsilon > 0ϵ>0 there exists a partition PϵP_\epsilonPϵ of [a,b][a,b][a,b], such that: U(f,Pϵ)−L(f,Pϵ)≤ϵU(f, Pϵ) − L(f, Pϵ) ≤ \epsilon U(f,Pϵ)−L(f,Pϵ)≤ϵ