(2)も推定なのですが，一般項が添え字の偶奇で異なります。n≧1のとき
a[2n+1]=a[2n]/2
a[2n+2]=(1/2)a[2n+1] +1
となります。

ここは推定ですか？