$6.$ Invariants

p $=1$ k $=1$: while $($k $<$ n$)\{$ p $=$ pki k $=$ k $+1$i

$1$

For the program fragment above, which of the following is a loop invariant; le$.,$ true at the beginning of each execution of the loop and at the completion o

Pick ONE option

p $=$ n $^$ k

p $=($k $-1)*$ l

p $=$ kl

p$=($ri $-1)|$

p $=2^($k $-$ n$)$