ある値が大きすぎるなら、fff の内部の積がちょうど 222 になる近い引数を選べば、222 未満で零となる禁則が生じる。
ある a<2a<2a<2 で f(a)>22−af(a)>\frac{2}{2-a}f(a)>2−a2 と仮定し、f(a)=22−a−εf(a)=\frac{2}{2-a-\varepsilon}f(a)=2−a−ε2 となる ε>0\varepsilon>0ε>0 を選ぶ。y=ay=ay=a と x=2−a−εx=2-a-\varepsilonx=2−a−ε とすると左辺は f(2)f(a)=0f(2)f(a)=0f(2)f(a)=0、右辺は 2−ε<22-\varepsilon<22−ε<2 より f(2−ε)≠0f(2-\varepsilon)\ne0f(2−ε)=0。矛盾である。