Берём любое натуральное число n>1 и делим на 2, если оно чётное, а если нечётное, то вычитаем 1 и делим на 2. Повторяя эти действия тоже придём к 1, но не доказано, что это справедливо для любых n.
Пример: n=23
(23-1)/2=11
(11-1)/2=5
(5-1)/2=2
2/2=1