しかし、関数formula_21は凸関数()であるので