Cada árbol tiene como máximo orden lg n, por lo tanto su tiempo de ejecución es de O(lg n).