Funkcja jest malejąca na danym przedziale, jeśli dla dowolnych dwóch różnych argumentów z tego przedziału osiąga wartość mniejszą w argumencie większym.

Założenia:

Teza: