Zakładamy, że dla każdego  - 

a)

 - każdy następny wyraz jest mniejszy od poprzedniego, więc ciąg jest malejący

b)

Każdy następny wyraz ciągu jest dwa lub więcej