>>204
たぶん
Σ[k=1,Y-1] [kX/Y] = (X-1)(Y-1)/2