Consider the following pseudocode for an algorithm for finding the minimum in an array. Define an appropriate loop invar

[answerhappygod]

Consider the following pseudocode for an algorithm for findingthe minimum in an array. Define an appropriate loop invariant thatcould be used to prove its correctness. (Note: You are not asked towrite the proof of correctness, just give a loop invariant.)
1. MIN(A[1...n])
2. min = A[1]
3. for i=2 to n
4. if min > A[j]
5. min = A
6. return min