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