f(x):=(3x+1)/2
b_k:=2^k-1 (k>1)
とおくと
f(2^(k+1)x+b_k)
=3 2^(k+1)x+3 2^k-2
=2^(k+1)×(3x+1) + (2^k-1) -1
=2^(k+1)f(x)+b_k-1

k>1の場合は
f(2^(k+1)x+b_k)=2×(2^(k)f(x)+b_(k-1))
2で割って以下繰り返すと最後(k=1)は
2f^k(x)になる、と。

なんというか……振り出しに戻された感が。