Prove the correctness of the following function using the method of loop invariants:

int min (L [1 n] ) {

1. x = L[1];

2. for i = 2 to n do

L.I. When control reaches line 3 for Kth time: i = K+1, and, x <= L[1 .. i-1]

3. if L[i] < x then x = L[i] endfor

4. return (x)

end min.