在升序数组中用二分查找第一个大于等于 x 的位置。若当前中点 mid 满足 a[mid]<x,下一步应()。
令闭区间右边界变为 mid-1
令闭区间左边界变为 mid+1
立即返回 mid
交换 a[mid] 与 x