Call a positive integer "special" if for every such that can be expressed as a sum of positive integers that are relatively prime to (although not necessarily relatively prime to each other). How many special integers are there less than ?
Solution
We claim that all odd numbers are special, and the only special even number is 2. For any even , the numbers relatively prime to must be odd. When we consider , we see that can't be expressed as a sum of 3 odd numbers. Now suppose that is odd, and we look at the binary decomposition of , so write as a sum of distinct powers of 2. Note that all these numbers only have factors of 2 and are therefore relatively prime to . We see that . We claim that for any , we can write as a sum of powers of 2. Suppose that we have written as . Suppose we have at least one of these powers of 2 even, say . We can then write , which is powers of 2. The only way this process cannot be carried out is if we write as a sum of ones, which corresponds to . Therefore, this gives us all . Now we consider the case . Let be the largest power of 2 such that . We can write . Note that since and are relatively prime, so are and . Note that . Now similar to the previous argument, we can write as a sum of powers of 2 for , and since , we can achieve all such that . Putting these together, we see that since for , we can achieve all from 2 through , where is odd.