Демидович №4415: ограниченность разности значений функции

Доказываем, что в выпуклой области разность значений дифференцируемой функции в любых двух точках не больше произведения расстояния между этими точками на максимальное значение градиента в этой области (пример №4415 из задачника Демидовича). #АнтиДемидович