Оскільки функція formula_2 є опуклою на інтервалі, вона є неперервною і диференційовною справа і зліва у кожній точці інтервалу. Позначимо ліві і праві похідні formula_3 і formula_4 відповідно. Для кожного formula_5, введемо функцію