MathDB
Inequality with products of a_1,a_2, ... a_n

Source: Polish Second Round 2009

August 4, 2011
inequalitiesinductionfunctioninequalities proposed

Problem Statement

Let a1a2an>0a_1\ge a_2\ge \ldots \ge a_n>0 be nn reals. Prove the inequality a1a2an1+(2a2a1)(2a3a2)(2anan1)2a2a3ana_1a_2\ldots a_{n-1}+(2a_2-a_1)(2a_3-a_2)\ldots (2a_n-a_{n-1})\ge 2a_2a_3\ldots a_n