Se puede probar que este algoritmo tiene orden logarítmico.