(10 pts.) Loop invariant Consider the following algorithm to find the maximum number in an array. The input is an array of n integers, A[1..n]. Algorithm 1: FIND-MAX(A[1..n]) x+ A[1] for k= 2 to n do 1 x+ max(x, A[k]) end return x Use the loop invariant technique to prove that Find-Max(A) returns the maximum value in A