a_k\leq a_{k+1}