定義というより証明方法が分からないんです・・・
y=0としたら凸関数にならない、としてもいいのでしょうか？