「凸不等式」をググってみれ >>178