>>210,212
>>209は見てないが、>>206の方は簡単。
どこかの時点でa[n]が奇数だったら、ある奇数bを使って
a[n] = 2^k*b+1 と書けて、 a[n+k] = 3^k*b+1 となり
kステップ後に偶数が現れる。
よって偶数は無限に出てくる。