假设存在不动点 a≠1a\ne1a=1;必要时以 1/a1/a1/a 代替 aaa(第4步),不妨设 a>1a>1a>1。由第4步取 b=ab=ab=a,得 a2a^2a2 也是不动点;如此重复,对任意 k≥0k\ge0k≥0,a2ka^{2^k}a2k 都是不动点。当 k→∞k\to\inftyk→∞ 时 a2k→∞a^{2^k}\to\inftya2k→∞,故 f(a2k)=a2k→∞f(a^{2^k})=a^{2^k}\to\inftyf(a2k)=a2k→∞,这与条件(ii)——当 x→∞x\to\inftyx→∞ 时 f(x)→0f(x)\to0f(x)→0——矛盾。因此 fff 的唯一不动点是 111。