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

Założenia:

Teza: