反例を見つけるか、すべての自然数がコラッツ操作によって1に収束することがいればいい。