式子如下

$\sum_{k = 1}^{n} (kq\bmod p)$

$p,q$ 均已给定，且 $p,q,n\le 2^{32}$

可不可以做到复杂度在 $O(\sqrt{n})$ 或以下？