a_{n + 1} \leq a_{n + 2}