最小化第k大的值