For every integer , consider subsets of such that:
* has element,
* has elements,
* has elements,
and none of these subsets is contained in another. Find the maximum possible value of .
Solution
We will first show how to construct subsets of satisfying the required conditions. Such subsets will be called *nice*.
For , we can take and .
For , we can take , and .
We show now that if there exist nice subsets for , then there exist nice subsets for . Let be nice subsets for . Consider:
It is easy to check that are nice subsets for .
Now, it remains to be seen that it is not possible to construct nice subsets for .
Assume, by contradiction, that are nice subsets for . If , then . Since has two elements that are different from , it follows that they are elements of and so, , which is a contradiction.
Looking for a route rather than an archive? The track puts 2,000
problems in a working order, from AMC 10 level to the IMO shortlist.