Mittelwertsatz
für positive formula_10 folgt, wobei er dies im Wesentlichen mit dem Mittelwertsatz der Differentialrechnung bewies.