Nach Definition der Ableitung ist f ' (a) ja der Grenzwert des Differenzenquotienten
für h gegen 0, also
(f(a+h) - f(a) ) / h
wegen f(x) < f(a) ist der Zähler negativ ( denn hier ist ja x=a+h eingesetzt )
und h ist positiv, also ist der gesamte Bruch negativ.
Dann muss der Grenzwert dieses Bruches für h gegen 0 auch
kleiner oder gleich 0 sein.