So I was reading through Springer's Elements of Algebra and it brought up the existence of a 'back to front' version of the criterion.
It goes something like;
Let $f(x) = a(n)x^n +a(n−1)x^{n-1} +\cdots +a(1)x+a(0)$ be a polynomial in $\mathbb{Z}[x]$. If there is a prime $p \in \mathbb{Z}$ such that:
- $p|a(i)$ for $i = 1, \dots , n$,
- $p$ does not divide $a(0)$, and
- $p^2$ does not divide $a(n)$,
it follows that $f(x)$ is irreducible in $\mathbb{Q}[x]$.
Now I think we should substitute $x^{-1}$ into the original (regular) Eisenstein criterion, and work through, but I'm having a complete brain freeze for where to start. Any pointers appreciated, and I'm sure I'll feel a lemon when it becomes clear!
Hint $\ $ The reversal map $\,f(x)\mapsto x^d f(x^{-1}), \ d = \deg f\,$ is a degree-preserving multiplicative map hence preserves multiplicative structure, e.g. (ir)reducibility.