>>554
凸関数の定義知ってる?