Последовательность является убывающей, если для любого выполняется неравенство
xn + xn + 1 > xn + 2, n ≥ 1;
xn > xn + 1 + xn + 2, n ≥ 1;
xn – 1 > xn, n > 1;
xn – 1 > 2xn, n > 1.