额，罪魁祸首回来重新算了一下，发现好像不需要高度互不相同……说明七年来没有人再研究一下这东西为什么对了……
ppt里不等号方向反了，左边还少了个系数2，右边$\Delta$应该替换成$h_s$，$s$是最后区间切出来的最后那个瓶子。
所以其实可以拿到$l\leq\log_3\frac{4\sum_i h_i}{\min h_i}$，结论上来说没有变化。
（我基本不上这个号，有问题可以UOJ群找我）
by Picks @ 2023-02-12 19:31:34