Problem 5. Prove that the following pseudocode is correct in that it returns, maxi1,...,n1|A[i] A[i+1]|: DIFF (A) ** Given array A of n > 2 integer, finds the largest difference of two consecutive elements of array d= = \A[1] A[2] for i = 2 to n - 1 do if |A[i] A[i+1]] > d then d= |A[i] A[i+1]] end if end for return d Hint: Use the following as loop invariant: d= max je 1,...,.-1 i-1|A[j] A[j + 1]]