Usa $[x]$ para representar el entero más grande que no es mayor que un número real $x$ . Sea $$S_n=\left[1+\frac12 +\frac13+...+\frac{1}{n}\right], \,\, (n =1,2,..,)$$ Demuestra que hay infinitos $n$ tales que $C_n^{S_n}$ es un número par.