Qual das alternativas a seguir representa corretamente a complexidade de tempo em notação Big O para a busca binária em um array ordenado?