4. Demuestra que existen sólo finitamente muchos enteros positivos \( n \) tales que \( \left(\frac{n}{1}+1\right)\left(\frac{n}{2}+2\right)\cdots\left(\frac{n}{n}+n\right) \) es un entero.