MathLabs

Problem 2

A positive integer is called fancy if it can be expressed in the form 2a1+2a2+⋯+2a1002^{a_1}+2^{a_2}+\cdots+2^{a_{100}}, where a1,a2,…,a100a_1,a_2,\ldots,a_{100} are non-negative integers that are not necessarily distinct. Find the smallest positive integer nn such that no multiple of nn is a fancy number.
Step 1 of 5: State the answer
n=2101−1n=2^{101}-1
Detailed analysis

The claim is that every positive integer kk with 1≤k<2101−11\le k<2^{101}-1 has some multiple that is fancy, while no multiple of n=2101−1n=2^{101}-1 is fancy. Writing kk in binary uses at most 100100 ones, so k=2a1+⋯+2ark=2^{a_1}+\cdots+2^{a_r} for some r≤100r\le100.