Let x1, x2, ..., xn be real numbers with arithmetic mean X. Prove that there is a positive integer K such that for any integer i satisfying 0≤i<K, we have K−i1∑j=i+1Kxj≤X. (In other words, prove that there is a positive integer K such that the arithmetic mean of each of the lists {x1,x2,...,xK}, {x2,x3,...,xK}, {x3,...,xK}, ..., {xK−1,xK}, {xK} is not greater than X.) inequalitiesinequalities proposed