Riemann integral
Riemann integral criterion for equidistribution.