二分区间 判断下标小于k能不能满足 排序后相乘 有单调性 可以二分