不等式排除了所有后续项成为最小值的可能。
对 m>1m>1m>1 将条件用于 m−1m-1m−1。于是 f(m)f(m)f(m) 严格大于数列中的另一个值,不可能是全体最小值。正整数集良序,因此最小值存在且唯一,为 f(1)f(1)f(1)。