Considere a seguinte lógica de programação, expressa na forma de uma pseudo-linguagem.

j=3
Para i=1 até 5 faça
[
Enquanto j!$ \le !$ faça
[
j=j+1
]
]

Pode-se afirmar que, ao final da execução desse algoritmo, o valor da variável j será igual a