Pigeonhole and Extremal Arguments · Medium problem

In binary, every positive integer is a sum of distinct powers of $2$. How many powers of $2$ are used for $1000$?