Problem:
Prove that any 2-configuration containing elements is -separable for some .
Solution
Solution:
Suppose is the minimum integer for which the given configuration on set is -separable, and fix a corresponding labeling of the elements of . Let be the set of all elements with the label . Then, for any with , there must exist with , since otherwise the elements of could have been reassigned the label , decreasing the number of distinct labels necessary and thus contradicting the minimality of .
We thus get at least different elements of . Therefore, , and solving for gives the desired result.
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.