MathDB
inequality

Source: 2021 Korea Winter Program Practice Test

February 8, 2021
algebrainequalities

Problem Statement

n2n\ge2 is a given positive integer. iaini\leq a_i \leq n satisfies for all 1in1\leq i\leq n, and SiS_i is defined as a1+a2+...+ai(S0=0)a_1+a_2+...+a_i(S_0=0). Show that there exists such 1kn1\leq k\leq n that satisfies ak2+Snk<2Snn(n+1)2a_k^2+S_{n-k}<2S_n-\frac{n(n+1)}{2}.