>奇数nにおいて
>n=(2のy乗)x-1のときに(3n+1)/2をy回すると偶数になる
これは成り立たないよ

例:7=4*2-1、11=4*3-1だが
7,22,11,34,17,52,26,...

というか、そんなに簡単に証明できたら難問になってないからw