Problem

Source: Singapore IMO TST 2007, Problem 5

Tags: inequalities, IMO Shortlist



Prove the inequality \[\sum_{i<j} \frac{a_ia_j}{a_i + a_j} \le \frac{n}{2(a_1 + a_2 +\cdots + a_n)}\sum_{i<j} a_ia_j\] for all positive real numbers $ a_1, a_2,\ldots , a_n$.