International Mathematical Olympiad 2002 Problem 1
is the set of all with non-negative integers such that . Each element of is colored red or blue, so that if is red and , then is also red. A type 1 subset of has blue elements with different first member and a type 2 subset of has blue elements with different second member. Show that there are the same number of type 1 and type 2 subsets.