Question 2 This question concerns the following code. def mys (x): , ,'Pre: x is an integer >=0,, a=x y=5 while a>=0: a=ay y=y1 return a y A. Prove that the code establishes and maintains the following loop invariant: a>=5 and y