这个做法为什么(y-z)<a[i-1]时要取 $x/a_i$ 个 $a_i$ 啊？这样一定是最优的吗？