Concluimos que la función formula_23 es acotada.