This wiki is incomplete.
The Riemann integral of equals if the following condition holds:
For all , there exists a such that for any tagged partition and whose mesh is less than , we have
(Proof from first principle)
The function is Riemann integrable if and only if (it is bounded and the set of points at which it is discontinuous has Lebesgue measure zero).