Urgent

For the following function, identify the loop invariant. The function is supposed to take as input a list of positive integers ist with a length of at least two. def fill gaps (1st): lst.sort () i = 0 while i Ist[i] +1: lst.insert (i+1, Ist[i] +1) i+=1 return ist