凸関数の定義だよそれ。