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? At the start of each iteration i of the for loop, array A[1...i] is sorted in increasing order. At the start of each iteration i of the for loop, array A[1..-1] is sorted in increasing order. At the start of each iteration i of the for loop, array A is sorted on digits 1, 2, , i. At the start of each iteration i of the for loop, array A is sorted on digits 1, 2, , 1-1