MathDB
Hard inequality

Source: Brazil MO 2011, problem 6

October 16, 2011
inequalitiesalgorithmmodular arithmeticinequalities unsolved

Problem Statement

Let a1,a2,a3,...a2011a_{1}, a_{2}, a_{3}, ... a_{2011} be nonnegative reals with sum 20112\frac{2011}{2}, prove :
cyc(anan+1)=(a1a2)(a2a3)...(a2011a1)3316.|\prod_{cyc} (a_{n} - a_{n+1})| = |(a_{1} - a_{2})(a_{2} - a_{3})...(a_{2011}-a_{1})| \le \frac{3 \sqrt3}{16}.