リーマン積分
Riemann integral criterion for equidistribution.