$\max(x, y) < a \iff (x < a) \wedge (y < a)$
最大値に対する不等号制約は複数の小さな制約のandに変換できる 特に最大化を二分探索で、最小値の最大化の文脈で使う
maxの不等号は不等号のand 問題変換