Mittelwertsatz besagt: Für alle t1, t2 im
 Intervall [a,b] gibt es ein t mit f ' (t) = ( f(t2)-f(t1) ) / (  t2 - t1 )
Das gilt dann ja auch für die Beträge
                           | f ' (t) |=  |  f(t2)-f(t1)  | /  |t2 - t1 |
<=>      | f ' (t) | *  |t2 - t1 |=  |  f(t2)-f(t1)  |
Und wenn M das Maximum von | f ' (t) | auf [a,b] ist,
also      M *  |t2 - t1 | ≥  |  f(t2)-f(t1)  |.  q.e.d.