面白い問題おしえて〜な 30問目

任意の自然数nに対し, 区間[0,4]で定義された関数f_n(x)を次のふたつによって定める
1. f_1(x) = x(x-3)²/4
2. f_{n+1}(x) = (-1)^{[n/3]+[(n+2)/3]} ･ f_1(f_n(x))
(ここで [x] は x を超えない最大の整数)

このとき, xの方程式 f_2020(x)=a が [0,4] に少なくとも1つの実根をもつための実数 a の条件を求めよ