Considere o seguinte algoritmo de busca binária aplicado sobre um vetor ordenado de inteiros com tamanho \( n \):

while (inicio <= fim) {

meio = inicio + (fim - inicio) / 2

if (v[meio] == x)

return meio

else if (v[meio] < x)

inicio = meio + 1

else

fim = meio - 1

}

Considerando o pior caso, qual é a complexidade assintótica desse algoritmo em função de \( n \)?