Если дифференцируемая на отрезке [a,b] функция f(x) …, то на этом отрезке её производная не отрицательна, т.е. f'(x) ≥ 0.