Let and be two subsets of , satisfying and . If always implies , then the maximum of is ( ).
Solution
We will first prove that , or equivalently . For this purpose, we only need to prove that, if is a subset of with 34 elements, then there must exist such that . The proof is as follows.
Divide into 33 subsets:
, , , , , 12 subsets;
, , , , 4 subsets;
, , , , , 13 subsets;
, , , , 4 subsets.
By the Pigeonhole Principle we know that there exists at least one subset with 2 elements among them which is also a subset of . That means there exists such that .
On the other hand, let
.
We find that and satisfy the condition and .
Answer: B.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.