Analise o pseudocódigo de uma função que realiza uma busca ...

Analise o pseudocódigo de uma função que realiza uma busca binária, onde k é a chave procurada, V é um array unidimensional contendo N chaves ordenadas em ordem crescente, indexadas a partir de 1, e “\” é um operador de divisão inteira (e.g. 5\2 retorna 2).
A função retorna a posição da chave k em V, ou -1 se não for encontrada.
O símbolo *** denota uma expressão lógica propositalmente omitida.

                                  define buscabinaria(k)
                                        p=1
                                        u=N
                                         repeat
                                                x=(p+u)\2
                                                if k < V[x]
                                                   then u = x-1
                                                   else p = x+1
                                         until ***
                                          if k = V[x]
                                             then return(x)
                                             else return(-1) 


Assinale a opção que apresenta o trecho que deve substituir o símbolo *** para que o algoritmo acima funcione de acordo com a especificação.