Homework.

Learning Goal: I’m working on a computer science question and need the explanation and answer to help me learn.

If possible, please complete the Question on word document, and write it clearly.

• State a non-trivial loop invariant (which must include conditions for $i$ and $x$).
• Prove the loop invariant. Be sure that the proof includes the final conditions after the loop has ended.
• Note: a correct proof of an incorrect invariant will still receive partial credit.
• Give the final value of $x$ in terms of $n$.
• Note: (for the sake of readability) the value 2i2i in the code below is $2$ to the power of $i$.
• Note: or symbol (with ranges) meaning product or sum of terms can be used as part of loop invariant.