Este máximo se da precisamente en formula_11.