Atenção: Para responder à questão, considere o fragmento de pseudocódigo abaixo.

leia (numeroLido)
pri ← 0
ult ← 4
metade ← 0
achou ← false
enquanto (pri <= ult E NÃO achou) faça
  metade ← (pri + ult) / 2
  se (vet[metade] = numeroLido)
    entao achou ← true
fim_se
se (vet[metade] > numeroLido)
  então ult ← metade - 1
  senao pri ← metade + 1
fim_se
   fim_enquanto
se (achou = true)
  então imprima ("O valor ",numeroLido," foi encontrado na posição ", metade, "do vetor")
  senao imprima ("O valor ",numeroLido," não foi encontrado no vetor")
fim_se

Considere ainda que:

• as variáveis numeroLido, pri, ult e metade são do tipo inteiro.
• a variável achou é do tipo lógico.
• vet é um vetor de inteiros que contém os seguintes valores 3, 5, 60, 80 e 98, nessa ordem.
• a primeira posição do vetor vet é zero (0).

Sobre o fragmento de pseudocódigo apresentado é correto afirmar que