Let A[1..n] be an array with n elements. Consider the Prefix-Average algorithm, with the pseudocode below.

Prefix-Average(A,n)

s = 0

let B[1n] be a new array

for j = 1 to n

s=s(j1)+A[j]j

print s

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

At the start of each iteration j of the for loop, s represents the average of the elements in the prefix subarray A[1..j+1].

At the start of each iteration j of the for loop, s represents the average of the elements in the prefix subarray A[0..j].

At the start of each iteration j of the for loop, s represents the average of the elements in the prefix subarray A[1..j-1].

At the start of each iteration j of the for loop, s represents the average of the elements in the prefix subarray A[1..j].