请问如何证明把 $n$ 个数分成若干个 $2^k(k\geqslant 0)$的数，且若末尾数不足当前 $2^k$ ，保留即可，这若干个数能组合成 $[1,n]$ 中任意一个整数？