Задача Пıдтрименко

Дано: X*Y, где X - любое натуральное число, Y = 1.
Любое нечётное X нужно умножить на 3 и прибавить к сумме 1
Любое чётное X нужно поделить на 2, при этом на 2 умножая Y

Доказать: X*Y будет стремиться к последовательности {1, 2, 4, 8, 16, 32, 64....... "2 в степени y"}.

Подсказка: математически можно ожидать, что случайно взятое N с 50% шансом делится на 2, с 25% шансом делится на 4, с 12,5% шансом делится на 8 и т.д.;

Исключение вроде бесконечного создаваемых простых Х можно обозначить фразой "множество Сигма". Докажите, что Сигма полный ноль.