看这篇题解
来证明一下
假设从\(l^{'}\)喝到\(r\)，那么肯定至少喝了\(x\)瓶白酒，如果大于\(x\)瓶白酒，我们将右端点减少，而当右端点减少到\(l^{'}+n-1\)时，由于我们选择的\(l,r\)是让\(x\)最大的，所以此时白酒数量一定小于等于\(x\)，于是由介值定理可得
这道题目主要就是告诉我们不等式不好处理，学会转化为等式，然后考虑特殊情况（这里依次考虑最小值和最大值）
