从oi-wiki来的，逛了一圈题解的整体二分做法，个人还是有点晕，感觉有一点没说清楚：值域[ql,qr]，mid=ql+qr>>1，序列在[l,i]都取mid，在[i+1,r]都取mid+1的操作次数最小时，为什么一定有最终序列（符合条件中的一个）a[l,i]<=mid，a[i+1,r]>mid？容易发现这是整体二分正确性的保障，但是似乎oi-wiki上和题解都一笔带过了。求大佬们解答