Funkcja
jest rosnąca, jeśli dla dowolnych argumentów
spełniony jest warunek: jeśli
, to
, a jeśli jest malejąca, to spełniony jest warunek: jeśli
, to
W takim razie:
Dla
:
, więc funkcja jest malejąca.
To kończy dowód.