The algorithm below computes the maximum value of an array A[1..n] with n elements:

COMPUTE-MAX(A,n)

max = A[n]

for i = n-1 down to 1

if A[i] > max

max = A[i]

return max

State the loop invariant of the for loop.