したがって下界は 222 未満のすべての点で達成される。
ステップ2の下界とステップ3で厳密不等号が排除されたことから、すべての 0≤y<20\le y<20≤y<2 で f(y)=22−yf(y)=\frac{2}{2-y}f(y)=2−y2 となる。