f' bornee sur I <=>E M e I et M>0/qqsoit x de I/ abs(f'(x))<M
soit x de I=[a.b]/a#b
comme f derivable sur I donc continue sur I donc selon TAF sur ]a.x[
abs(f(x)-f(a))<M*abs(x-a)
x e [a.b]=>x<b==>0<x-a<b-a=>abs(x-a)<abs(b-a)
donc f(x)<f(a)+M*abs(b-a) donc f est bornee sur I
sauf erreur