Consider the program segment S below. initial assertion p: m Epsilon Integer numbers set^+ U {0}, x Epsilon Real numbers set i: 0 exp: = 1 while i Not equal sign m exp: = exp . x i ; = + 1 What is the final assertion q for this program segment? Let r be the assertion: "exp = x^n and i = n". Prove that r is a loop invariant for this loop. Prove that if the loop terminates, is satisfies your final assertion. Prove that the loop terminates