Изменения
Нет описания правки
Далее, для краткости, «определённый интеграл Лебега» будет означать интеграл Лебега от ограниченной измеримой функции по множеству конечной меры.
Учитывая, что <tex>m \leq f(x) \leq M</tex> и <tex>\mu e E \geq 0</tex>, <tex>\mu E = \sum\limits_{i=1}^n \mu e_i </tex>, имеем набор неравенств <tex> m\mu E \leq \underline{s}(\tau) \leq \underline{L} \leq \overline{L} \leq \overline{s}(\tau) \leq M\mu E</tex>.
То есть, <tex>m \mu E \leq \int\limits_{E} f(x) d\mu \leq M \mu E</tex>.
