IMO 1983 LL POL49
Given positive integers k, m, n with km \leqn and nonnegative
IMO 1983 LL POL49
Origin: POL
Problem
Given positive integers k, m, n with km \leqn and nonnegative real numbers x1, . . . , xk, prove that n k
i=1 xm i −1 \leqm k i=1 (xn i −1) .