Which of the following is a correct loop invariant for the following algorithm?

Group of answer choices

Variable ret stores the largest value of A[0], ..., A[i-1].

The algorithm returns the largest element in the array

At the start of iteration i, ret stores the largest value of A[0], ..., A[i-1].

At the end of iteration i, ret stores the largest value of A[0], ..., A[i].

Which of the following is a correct loop invariant for the following algorithm? FindMaxElement(A) : //suppose array A is not empty ret = A[0] for i = 1 to length(A)-1 { if A[i] > ret{ ret = A[i] }} return ret Variable ret stores the largest value of A[O], ..., A[i-1]. The algorithm returns the largest element in the array At the start of iteration i, ret stores the largest value of A[0], ..., A[i-1]. At the end of iteration i, ret stores the largest value of A[O], ..., A[i]