分からない問題はここに書いてね 470

(1)x>=2の時
f(x)=4^(1/x)とおけば平均値の定理より
|f(x)-f(y)|/|x-y| = f'(c) < 1 (c > 2)
よってf(f(...f(x)...))はfの不動点2に収束(f(2)=2)
(2)0<x<2の時
x=1/(log_4 r) (r > 2)とおける
f(x)=r > 2となって(1)に帰着される