全てのnに対して2^n-1がコラッツの予想成り立つことは示せないかな。