Thought Exercise
lWhat if the search program were instead a binary search of an ordered array?
lWhat would the loop invariant be?
lHow would you prove that it holds?