15 points) Prove correctness of the following code using a loop invariant. def find_closest(array, val): ''Find the value that is the closest to the given val. i = 0 n = len(array) closest_val = None closest_dist = infinity while i <:>