Consider the following algorithm that returns the maximum of a list of distinct positive integers

:

FindMax$($

$)$:

largest $=$

for i$=1,...,$ n$-1$:

if largest

largest $=$

return largest

Consider the loop invariant:

After t iterations, largest is equal to the maximum of

Fill in the blanks of the proof that the loop invariant is correct: