没有任何一篇题解说明或证明对于一组 $i<j$，当 $a_j-a_i$ 为初始状态的最大值时，进行 $a_j$ 自减或 $a_i$ 自增必然不会出现新的差值不小于 $a_j-a_i$ 的对。