Ako je
, onda je
, pa je
. Ako je
, onda je
, pa je zbog
opet
. Stoga možemo pretpostaviti da je
i
.
Iz
zaključujemo da je
, pa treba dokazati da je
.
Funlcija
zadovoljava jednakost
. Treba još "samo" dokazati da je monotona i zadatak je rešen.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.