a_{k+3} \geq a_{k+2}