y<2y<2y<2 では非零条件により f(y)f(y)f(y) の因子を除けるので、もう一つの因子の引数が零領域に入らなければならない。
0≤y<20\le y<20≤y<2 に対して x=2−yx=2-yx=2−y とおくと、f((2−y)f(y))f(y)=f(2)=0f((2-y)f(y))f(y)=f(2)=0f((2−y)f(y))f(y)=f(2)=0。f(y)≠0f(y)\ne0f(y)=0 なので f((2−y)f(y))=0f((2-y)f(y))=0f((2−y)f(y))=0、従って (2−y)f(y)≥2(2-y)f(y)\ge2(2−y)f(y)≥2、すなわち f(y)≥22−yf(y)\ge\frac{2}{2-y}f(y)≥2−y2 である。