>>97
a[n]において第2^k項から第2^(k+1)-1項目までにをまとめて第k群とし
第k群の一般項bk[i]=a[(2^k)+i](0≦i≦2^k-1)とおくと
bk[i]=2i+1である。
これを帰納法でしめせば
各群においてbk[2^k-1]=a[2^(k+1)-1]が最大となり、
n=a[n]を満たす唯一の項であることも分かると思います。