Dados enteros positivos $k,m, n$ con $km \leq n$ y números reales no negativos $x_1, \ldots , x_k$, demuestre que \[n \left( \prod_{i=1}^k x_i^m -1 \right) \leq m \sum_{i=1}^k (x_i^n-1).\]