题解中都是直接抛出这个结论：最终序列 a 由若干个连续等差下降子段构成，其中公差为 −1。（对于上升的情况，我们可以认为是若干个长度为 1 的下降子段）。

请问一下这个该如何证明呢？