Consider the Radix sort algorithm, with the pseudocode below. RADIX-SORT(A.d) for i 1 to d use COUNTING-SORT to sort array A on digit i Which of the following is the correct loop invariant for the for loop? O At the start of each iteration i of the for loop, array A[1..] is sorted in increasing order. O At the start of each iteration i of the for loop, array A[1...i-1] is sorted in increasing order. O At the start of each iteration i of the for loop, array A is sorted on digits 1, 2,. O At the start of each iteration i of the for loop, array A is sorted on digits 1, 2, ., i-1