Problem 5. Prove the following pseudocode is correct in that it returns, maxi 1,.."-1 |AM - Ai1]: DIFF (A) ** Given array A of n 22 integer, finds the largest difference of two consecutive elements of array d = |A[1]-A[2] for i = 2 to n-ido if IAl] Ali d then [A[i]-A[i + 111 end if end for return d Hint: Use the following as loop invariant: d = marje 1, ,i-11A -ALi + 11