Answer Happy

This question has 3 parts. Answer all correctly and I will
upvote!
Question #3 (20 points) Consider the following code fragment: 1 3 Do-Math(x, y) result = x 2 = 0 while z <y z = % + 1 result = result / 2 return result + 7 Provide clear, concise answers to each of the following related questions. (3 points). What does Do Math(32,4) return? (12 points). Argue the correctness of the following loop invariant for Do-Math(): result = 2/2- Be sure to argue both the initial condition and the maintenance condition. (5 points). Using the invariant, prove the correctness of Do-Math(). Don't forget to use the loop test condition.