functions of bounded variation, inequalities