Jeżeli funkcja różniczkowalna w pewnym przedziale (a,b) jest malejąca, to jej pochodna w każdym punkcie tego przedziału przyjmuje wartości niedodatnie.