Denjoy–Koksma_inequality
In mathematics, the Denjoy–Koksma inequality, introduced by Herman (1979, p.73) as a combination of work of Arnaud Denjoy and the Koksma–Hlawka inequality of Jurjen Ferdinand Koksma, is a bound for Weyl sums of functions f of bounded variation.