A loop invariant is a statement about a loop used to show properties about a loop. Fill in a right function for f (k)inthe following loop invariant and then show that your loop invariant is right by induction. Loop invariant: At checkpoint #2 of the k^{th }iteration of the while loop, the present pointer will be pointing to cell number f (k)on the linked list where the cells are numbered starting with cell one