(\exists n\in\mathbb{N}) (\forall k\in\mathbb{N}) (k \leq n \implies a_k \leq a_{k+1})