有一个序列，每次可以将相邻两个相同的数合并成这个数加一，现在想判断区间$[l,r]$能否合并成一个数
貌似有一种贪心的做法是从左往右或从右往左用栈模拟，与栈顶相同就合并，然后继续，但是我不知道为什么是对的，求证明。 ?