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) .