n When the loop is executed,  mid will be set to a value between high and low. n The if statement will either cause low to increase or high to decrease. n This can happen only a finite number of times before low becomes larger than high.