>>678
0<fなら凸不等式。