אתה מניח שהיא גזירה. רצוי שתיתן גם את ההגדרה הכללית יותר.
תחי ויקיפדיה: [math]\displaystyle{ \forall x_1 \in [a,b]\forall x_2 \in [a,b]\forall t \in (0,1):f(tx_1+(1-t)x_2)\leq t f(x_1)+(1-t)f(x_2) }[/math]