3. What change the function XYZ will make to the input array A[1...n] of n integers? Write the loop-invariant for the while loop which will help us to prove the correctness of XYZ. Algorithm 1: XYZ (A[1...n]) 11; (3.5) 2 jn; 3 while i