(10. 5pts) Computational problem solving: Proving Correctness Complete the proof by loop invariant method to show that the following algorithm is correct. Algorithm Max(A: Array[1..n] of integer) begin maxA[1] for i-2 to n if A[i] > max then max = A[i] return max Initialization: Maintenance Termination