Supongamos que el número de elementos a ordenar es una potencia de dos, es decir, formula_1 para algún natural formula_2.