Mamy ciąg   określony za pomocą wzoru 

Ciąg  jest malejący

Mamy również zadany ciąg  zdefiniowany wzorem 

Ciąg   malejący.

Ciąg , zdefiniowany został jako

 . 

Podstawmy