Dado un entero no negativo $k$ , demuestre que hay infinitos enteros positivos $n$ tales que el producto de cualquier $n$ enteros consecutivos es divisible por $(n+k)^2+1$ .