18/06/22 09:46:11.31 fZs8skv2.net
わかりきったことを雑多に書くので落書きみたいなことに
なってしまうが、いちおう書いてみる。すまぬ。
2^∞＝∞で、「２で割る」操作が無限回必要だから、これは考えない。
したがって、[1, ∞) という自然数の開集合の中で考える。
n が偶数の場合は、n/2 に帰着するので、
「[1, ∞)の中の奇数」（{n|n は奇数かつ n∊[1, ∞)}）について考えれば足りる。
で、たしか
n が n≡3(mod 4) のときは、そこから先に奇数が出てこないので、
「{n|n ≡ 1(mod 4) ∧ n∊[1, ∞)}」について考えれば足りる。
みたいな話になってたような気がするんだけど、これで議論は
足りてるかな？