Question #3 (17 points) Consider the following code front Dahathi.pl result - 1 ractor - plate while plett 0 result - result. factor piert - plert-1 return result Provide clear, concise Answers to each of the following related questions, - (2 points). What does Do-Math(2.4) return? 2 (12 points). Prove the following loop invariant for Do Math() (Left 0) and (result factor). Be sure to argue both the initializa- tion and maintenance conditions (3 points). Using the wariant, prowe the correctness of Do-Math(). Rely on the Invariant and the one other fact guaranteed to be true upon loop termination