Funkcja określona jest wzorem .
W ostatniej nierówności skorzystaliśmy z tego, że mianownik jest dodatni, i .
Otrzymana nierówność jest prawdziwa dla dowolnego , zatem dla dowolnego .