Challenge 234: Building Integers
In this problem, the following are allowed operations on positive integers.
- add a zero at the end of the number;
- add a two at the end of the number;
- add a seven at the end of the number;
- divide the number by 2.
Show that, starting from 1, every positive integer can be constructed by using a sequence of allowed operations.