A0:{0,1}→{0,1}
A1:{0,1,2,3}→{0,2,1,3}
A2:{0,1,2,3,4,5,6,7,8,9}→{0,4,2,6,4,5,3,7,5,9}
A3:{0〜27}→{0,8,4,12,8,10,6,14,10,18, 14,16,12,14,13,15,11,13,9, 17,13,21,17,19,15,23,19,27}
...
みたいにAiを構成して
fi:(0,1)→Rをfi(n/3^i)=Ai(n)/3^i (n=1,2,...,-1+3^i)となるようなC^∞関数にすれば
関数f1,f2,f3,...の各点収束先の関数fが>>12の[2]を満たさんかね