Consider the following C program fragment:
(1) scanf ("%d", &n);
(2) x = 2;
(3) for (i = 1; i <= n; i++)
(4) x = x*x;
A choice of loop invariant for this fragment is:
If we reach the test for i <= n in the for loop of line
(3) above with the value of the loop counter i set to k, then the
value of x at that point will be 22k-1.
For values of i > n, this statement is: