and reword the function postcondition accordingly.
Chapter 19
Case Study Follow-Up
2. 0, the index of the first array element. The recursive algorithm starts at the fifth element but recursively calls itself until it reaches the first element, which is stored into minSoFar; then it compares minSoFar to the second element, and so on.
