假如 $k$ 很大，难道不会有可能 $[mid, mid + 1]$ 跨越了 $k$ 吗。