MathDB
Sums and products

Source: Indian IMOTC 2013, Team Selection Test 3, Problem 3

July 30, 2013
inductionalgebra proposedalgebra

Problem Statement

Let h3h \ge 3 be an integer and XX the set of all positive integers that are greater than or equal to 2h2h. Let SS be a nonempty subset of XX such that the following two conditions hold:
[*]if a+bSa + b \in S with ah,bha \ge h, b \ge h, then abSab \in S;
[*]if abSab \in S with ah,bha \ge h, b \ge h, then a+bSa + b \in S. Prove that S=XS = X.