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