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: