13 Demuestre que \[ \sqrt{(1^k+2^k)(1^k+2^k+3^k)\ldots (1^k+2^k+\ldots +n^k)}\] \[ \ge 1^k+2^k+\ldots +n^k-\frac{2^{k-1}+2\cdot 3^{k-1}+\ldots + (n-1)\cdot n^{k-1}}{n}\] para todos los enteros $n,k \ge 2$ .