上下界が一致して候補は一つだけ残り、代入で検証できる。
二つの不等式から [0,2)[0,2)[0,2) 上で f(y)=22−yf(y)=\frac{2}{2-y}f(y)=2−y2。零の尾部と合わせると、y<2y<2y<2 では f(y)=22−yf(y)=\frac{2}{2-y}f(y)=2−y2、y≥2y\ge2y≥2 では f(y)=0f(y)=0f(y)=0 が唯一の関数である。x+y<2x+y<2x+y<2 と x+y≥2x+y\ge2x+y≥2 の場合に直接代入して検証できる。