En particular, no es difícil comprobar que si se tiene una función formula_32 que satisfacecuando formula_37, entonces ambas formula_33 y formula_35 son funciones convexas.