Мы должны доказать, что для любых  n ≥ 4  неотрицательных чисел a₁, ..., a_n, сумма которых равна 1, выполнено неравенство

a₁a₂ + a₂a₃ + ... + a_n–1a_n + a_na₁ ≤ ¼.

  При чётном  n = 2m  это неравенство доказывается непосредственно: пусть  a₁ + a₃ + ... + a_2m–1 = a;  тогда

a₁a₂ + a₂a₃ + ... + a_n–1a_n + a_na₁ ≤ (a₁ + a₃ + ... + a_2m−1)(a₂ + a₄ + ... + a_2m) = a(1 − a) ≤ ¼.

  Пусть n нечётно и a_k – наименьшее из данных чисел. Можно считать, что  1 < k < n − 1  – это не ограничивает общности при  n ≥ 4.)  Положим  b_i = а_i  при  i = 1, ..., k − 1,  b_k = a_k + a_k+1  и  b_i = a_i+1  при  i = k + 1, ..., n − 1.  Применяя уже доказанное неравенство к числам b₁, ..., b_n–1,  получим

a₁a₂ + ... + a_k–2a_k–1 + (a_k–1 + a_k+2)b_k + a_k+2a_k+3 + ... + a_n–1a_n + a_na₁ ≤ ¼.

  Остаётся заметить, что  a_k–1a_k + a_ka_k+1 + a_k+1a_k+2 ≤ a_k–1a_k + a_k–1a_k+1 + a_k+1a_k+2 ≤ (a_k–1 + a_k+2) b_k.

Ответ задачи отсутствует