State the postcondition and loop invariant for the following code:

/* precondition: 1 <= b */

i = 1;

c = 1;

while (i <= b)

{ c = c * a:

i++; }