凸関数

凸関数。メンテ完了。