随手点开了一道 div2 A 发现不会证明。

大概要证明两个问题，首先是不考虑向下取整时为什么排序每次合并最小的两个是对的，其次是考虑向下取整后为什么还是对的。