For k=1 and k=2, the required polynomials are f(x)=x+1 and f(x)=(x+1)(x+2), respectively. Let k≥3 and assume that such a polynomial f(x) exists. For any prime number p, its degree in lcm(n+1,n+2,…,n+k) is max{α1,α2,…,αk−1}, where αi is the power of p in the canonical representation of n+i, i=1,…,k. If this is, for example, αs, then it would be obtained if we take
pα1pα2⋯pαs−1pαs+1⋯pαk(n+1)(n+2)⋯(n+k),
it being clear that the powers of p in the denominator are divisors of ∏1≤i=s≤k(s−i). Therefore
lcm(n+1,n+2,…,n+k)=Cn(n+1)(n+2)…(n+k),(1)
where Cn is a divisor of ∏1≤i<j≤k(j−i). Since Cn can take a finite number of possible values, there will be a natural number C such that for infinitely many n, f(n)=C(n+1)(n+2)…(n+k). So for infinitely many x, f(x)=C(x+1)(x+2)…(x+k), whence
f(x)=C(x+1)(x+2)…(x+k),∀x∈R.
Therefore
lcm(n+1,n+2,…,n+k)=C(n+1)(n+2)…(n+k),for all n∈N.
Let's assume this is possible. Let's choose a prime p<k such that p does not divide k. Let n+k+1=pm for sufficiently large m. From the above formula we have
lcm(n+1,n+2,…,n+k)lcm(n+2,n+3,…,n+k+1)=n+1n+k+1.(2)
The degree of p in the numerator of the left side is m and in the denominator – at least 1, while the degree of p in the numerator of the right side is m and in the denominator – 0. We derive a contradiction! Therefore, the assumption is wrong and for k≥3 there does not exist a polynomial with the desired property. □