Let $p(x)$ be an integer-valued polynomial of degree $n$. Is it possible to use up to $n$ consecutive values to potentially identify $p(x)$ as irreducible over the set of integer-valued polynomials?
I managed to prove that for $n=2$ there is a definite upper limit for the 3rd sequential value, but it is very difficult for higher degrees, even with induction. I encountered this question while considering some primes appearing in polynomial sequences. I have attempted to use Lagrange interpolation and binomial forms and I haven't made any progress past $n=2$.
Here is a sketch for the proof that there is an upper bound for the described polynomial with $n=2$:
We have fixed positive integers $v_1,v_2, v_1\le v_2$ and polynomial in binomial form
$$p(x) = a{x\choose 2}+(v_2-v_1)x+v_1$$
(Notice that we have set $p(0) = v_1,p(1) = v_2$.) Since we have $n=2$, we must have $p(2) = v_3$ for whatever positive integer value $v_3$ takes on, which means that we have $p(2) = a + 2v_2-v_1 = v_3$, and so we have $a = v_3-2v_2+v_1$ (which is correct by Finite Difference theory), giving us
$$p(x) = (v_3-2v_2+v_1){x\choose 2}+(v_2-v_1)x+v_1$$
This shows that only the (binomial-form) quadratic term will change in coefficient as $v_3$ changes. Now consider this value:
$$p\left(\frac 12\right)=\frac 14v_1+v_2-\frac 14v_3$$
We again have linear change in the value at this point as $v_3$ changes, and it is clear that it is possible for this value to be negative.
If $p(x)$ is composite with at least two non-constant integer-valued polynomial factors, and if $v_3$ is large enough to force $p\left(\frac 12\right)$ to be negative, then these factors are based exactly on the roots between $p(0)$ and $p(1)$, since each of these values is positive. So we would have
$$p(x) = (v_3-2v_2+v_1)(x-q_0)(x-q_1)=a(x-q_0)\cdot b(x-q_1)$$
In order for these factors to be considered "integer-valued", both $a$ and $b$ must be large enough that either the denominator of the rational $aq_0\le 2$ or the denominator of the rational $bq_1\le 2$. (For example, ${x\choose 2}={x(x-1)\over 2}$ and these factors are considered "integer-valued".) But we also notice that $q_0$ must be between $0$ and the intersection $(Q_0,0)$ of the line $y=0$ with the line segment connecting $(0,p(0))$ with $\left(\frac 12,p\left(\frac 12\right)\right)$, and this distance $Q_0$ is inverse-linear with $v_3$ (by similar triangles). But this means that $a$ must be asymptotically linear with $v_3$ and also (by the same argument for $Q_1$) that $b$ must be asymptotically linear with $v_3$, and therefore that
$$p(x) = (v_3-2v_2+v_1)(x-q_0)(x-q_1)=cv_3^2(x-q_0)(x-q_1)\tag 1$$
But $v_3$ is allowed to take on any value, and equation $(1)$ implies that $c$ must vary inverse-linearly with $v_3$, therefore there exists $N\in\Bbb N$ such that for all $v_3\gt N$ at least one of $a(x-q_0),b(x-q_1)$ cannot be integer-valued.
I'm fairly certain that this same argument applies in the same way for any given value of $n$.