a_1 \leq a_2 \leq \ldots \leq a_{n+1}