黎曼积分
Riemann integral criterion for equidistribution.