Considera un entero positivo impar $k$ y sean $n_1<n_2<\ldots<n_k$ $k$ enteros positivos impares. Demuestra que: \[n_1^2-n_2^2+n_3^2-n_4^2+\ldots+n_k^2\ge 2k^2-1\]