NMC 1990 Problem 4
It is possible to perform three operations , and for positive integers: , and ; in other words, one may write 0 or 4 in the end of the number and one may divide an even number by 2. Prove: every positive integer can be constructed starting from 4 and performing a finite number of the operations , and in some order.
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.