1679
правок
Изменения
o_O
Определим как $f_2$ функцию $f_2(x) = f_1(x) - f(x)$. Докажем, что она монотонно не убывает.
$a < x_1 < x_2 < b$. Надо доказать, что $f_1(x_1) - f(x_1) \le f_1(x_2) - f(x_2)$, или что $f(x_2) - f(x_1) \le f_1(x_2) - f_1(x_1) = \bigvee\limits_{x_1}^{x_2} (f)$ (используем утверждение 1).
Но действительно, $f(x_2) - f(x_1) \le | f(x_2) - f(x_2) | \le \bigvee\limits_{x_1}^{x_2} (f)$, ч. т. д.
}}
</wikitex>
