inequality applying to Weyl sums of functions of bounded variation
\left|\sum_{i=0}^{q-1} \phi f^i(x) - q\int_T \phi \, d\mu \right| \leqslant \operatorname{Var}(\phi)