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.