$\overline I :=$ $\inf{\underline S(P)}$ — верхний интеграл Дарбу.
$\underline I :=$ $\sup{\overline s(P)}$ — нижний интеграл Дарбу.
Основная лемма Дарбу.
$\lim\limits_{d \to 0}{\underline S(P)} = \overline I$
$\lim\limits_{d \to 0}{\overline s(P)} = \underline I$