MathDB
Sets of Positive Reals

Source: 2011 MMO Problem #2

September 11, 2011
ratioinequalitiesfunctiongeometric sequencecombinatorics unsolvedcombinatorics

Problem Statement

Let AA be a finite set of positive reals, let B={x/yx,yA}B = \{x/y\mid x,y\in A\} and let C={xyx,yA}C = \{xy\mid x,y\in A\}. Show that ABC2|A|\cdot|B|\le|C|^2. (Proposed by Gerhard Woeginger, Austria)