Paragraph

Prove that every positive integer is either a power of 2, or can be written as the sum of distinct powers of 2.

in-context