De manera similar, si la gráfica de una función es cóncava en un intervalo abierto que contiene a formula_2 y formula_3 debe ser un máximo relativo de formula_1.