Erdős Problem 261: the representation property $n/2^n=\sum a_k/2^{a_k}$ and the greedy carry

Initializing...

Erdős Problem 261: the representation property $n/2^n=\sum a_k/2^{a_k}$ and the greedy carry · Prove2Me