Mamy ciąg   określony za pomocą wzoru   ciąg  jest malejący

Mamy również zadany ciąg  zdefiniowany wzorem  , który również jest malejący

Ciąg , zdefiniowany został jako  .