小明想知道最少使用多少次魔法才能让所有的竹子的高度都变成 1。为了达到这个目的,他可以使用魔法连续砍下连续段相同高度的竹子,使得这一段竹子的高度都变为根号下(⌊x⌋ 1),其中 ⌊x⌋ 表示对 x 向下取整。