f(x)は任意の実数xで連続な関数.
関数列{f_n(x)}を
f_1(x)=f(x),
f_n+1(x)=f(f_n(x)) (n=1,2,3,…)
で定義するとき,
命題
「lim[n→∞]f_n(x)=xならば任意の自然数nでf_n(x)=xである」
は正しいか？