DEF最小値極の場合、最大値をdemodには使えないんだよね?