若某个函数值过大，可选取附近的自变量使 fff 内部的乘积恰为 222，从而迫使 222 以下出现禁忌的零值。
假设某个 a<2a<2a<2 满足 f(a)>22−af(a)>\frac{2}{2-a}f(a)>2−a2，取 ε>0\varepsilon>0ε>0 使 f(a)=22−a−εf(a)=\frac{2}{2-a-\varepsilon}f(a)=2−a−ε2。在方程中令 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，右边为 f(2−ε)≠0f(2-\varepsilon)\ne0f(2−ε)=0（因 2−ε<22-\varepsilon<22−ε<2），矛盾。