先排序，妙啊，不过怎么理论证明是最优值呢？