Para demostrar que el orden de la complejidad de este algoritmo es de formula_2, deberíamos demostrar que formula_7 es una constante.