MathDB
x_1x_2 + x_2x_3 + ... + x_{n-1}x_n <= s^2/4

Source: 1999 Swedish Mathematical Competition p5

April 2, 2021
inequalitiesalgebra

Problem Statement

xix_i are non-negative reals. x1+x2+...+xn=sx_1 + x_2 + ...+ x_n = s. Show that x1x2+x2x3+...+xn1xns24x_1x_2 + x_2x_3 + ... + x_{n-1}x_n \le \frac{s^2}{4}.