在一个有序数组中查找目标值第一次出现位置的二分查找算法中，以下哪个步骤是必须的？