Prove that every positive integer can be expressed as a product of odd number and power of $2$. In other words, prove that for $n \ge 1$, $!h \in \mathbb{Z^+}$, $h$ odd, and $k \in \mathbb{Z}$, $k \ge 0$ such that $n=h·2^k$.
I did the base case: If $n=1, h=1, k=0$, then $n=h\times 2^k$ is $1=1\times2^0=1$. But I am having a hard time with the induction step. How do you finish the proof?
HINT
One approach is to use 2 base cases, $n=1$ and $n=2$. Then, consider even and odd numbers separately, applying the inductive hypothesis to $n-2$ in each case.
May be simpler to avoid induction altogether. If you have an even number, factor out the largest integer power of 2 possible. Otherwise let $k=0$ and you are done.