对于那些不满足决策单调性的dp，什么时候能用单调栈

决策单调性中的二分队列是否都可以用二分栈代替

本题为什么必须最后再进行ceil操作，而不是直接将 $f_i$ 设为整型，赋值的时候直接ceil(sqrt)

为什么 $f_i$ 会算成负数，long double类型初值不是0吗？