下界に一致するから最適解