注意二分答案上界，不是所有 $H_i$ 的最大值而是所有 $H_i$ 的和。

因为这个错误错了好几发。