Problem

Source: 2018 Thailand TST 6.3

Tags: inequalities



Let $n \geq 3$ be an integer. Let $a_1,a_2,\dots, a_n\in[0,1]$ satisfy $a_1 + a_2 + \cdots + a_n = 2$. Prove that $$\sqrt{1-\sqrt{a_1}}+\sqrt{1-\sqrt{a_2}}+\cdots+\sqrt{1-\sqrt{a_n}}\leq n-3+\sqrt{9-3\sqrt{6}}.$$