Dit bevis for at hvis f er aftagende i I, så er f’(x)>0 for alle x i I, går galt. Du kan ikke på den måde altid sørge for at et vilkårligt x skal være c i middelværdisætningen ved at justere intervallet, da uanset hvordan du vælger dit interval, så er der jo uendelig mange elementer i det. Men jeg tror også grunden til det går galt er at implikationen slet ikke er sand, betragt fx modeksemplet f(x)=-x^3, som er aftagende i de reelle tal, samtidig er f´(0)=0 og altså ikke negativ. Du kan kun vise en svag ulighed.