Gives the value of a summation involving the floor function
\sum_{k=0}^{n-1}\left\lfloor x+\frac{k}{n}\right\rfloor=\lfloor nx\rfloor