因此下界在所有小于 222 的点都取到。
第2步的下界以及第3步排除严格不等号，给出对所有 0≤y<20\le y<20≤y<2 有 f(y)=22−yf(y)=\frac{2}{2-y}f(y)=2−y2。