Колмогоров, Фомин. Элементы теории функций и функционального анализа. 7-е изд. стр. 83 писал(а):
Пусть

- функция, которая определена на сегменте
![$[a,b]$ $[a,b]$](https://dxdy-04.korotkov.co.uk/f/f/e/4/fe477a2781d275b4481790690fccd15f82.png)
, удовлетворяет условию Липшица

c константой

и отображает сегмент
![$[a,b]$ $[a,b]$](https://dxdy-04.korotkov.co.uk/f/f/e/4/fe477a2781d275b4481790690fccd15f82.png)
в себя.
Тогда существуют

и

, такие что

и

, тогда

, тогда

.