Let positive real numbers a,b satisfy b \minus{} a > 2. Prove that for any two distinct integers m,n belonging to [a,b), there always exists non-empty set S consisting of certain integers belonging to [ab,(a \plus{} 1)(b \plus{} 1)) such that mnx∈S∏ is square of a rational number. combinatorics proposedcombinatorics