formula_51 existe un máximo en formula_52.