Zauważmy, że , stąd .

Czyli

.

Wykorzystując wzory ,  dla a > 0, , otrzymujemy .

Na mocy twierdzenia o trzech ciągach mamy

.