Quero auxilio de um exercício aqui , já achei o custo

Como que eu faço o loop invariante nesta situação , eu já achei o custo , alguém ai me auxila ?

2018-08-30_19-15-27_ED2-T1-parte1.pdf (400,7 KB)

JEntão, nesse loop qual é a expressão que é sempre verdade (invariante) a cada passo?

Vc quer calcular B ** E ( B elevado a E)
A cada passo, P vai ser igual a B ** i

No final, i será igual a E e vc tera P == B**E

Eu acho que é assim.

Eu fiz aqui que p= b *(i-1) para o início , falta o meio e o fim agora