对数组进行二分查找的过程中，以下哪个条件必须满足？