<例題>自然数から自然数への関数fが次の条件を満たしているとき、f(999) の値を求めよ。 任意の自然数 n に対して、f{f(n)}=3n <解答>f(999)=n とおく。 f{f(999)}=f(n) 3×999=f(n) f(999)=n、3×999=f(n)から、 3×999×f(999)=n×f(n) 任意の n に対して、3×999×f(999)=n×f(n)は成立しない。 ∴ f(999)=n が成立する n は存在しない。