Bounding the "complexity" of irreducible factors of an integer polynomial

Given an integer polynomial $P(x) = a_0 + a_1 x + \cdots + a_n x^n$, there ought to be a reasonable bound on the "complexity" of its possible irreducible integer polynomial factors that allows us to restrict to finitely many possible factors. This would allow us to use trial division to test the irreducibility of $P$ (although this is a pretty bad test of irreducibility).

As an example, in response to another math.SE question I gave a straightforward bound $$|x| \le \max\left(1, \left| \frac{a_0}{a_n} \right| + \cdots + \left| \frac{a_{n-1}}{a_n} \right|\right) = M$$

on the absolute value of the complex roots of $P$. This bound implies a horrible bound on the absolute values of the coefficients of an irreducible factor of degree $d$ (the $k^{th}$ coefficient has absolute value at most $a_n {d \choose k} M^k$), and I am wondering if it is possible to do substantially better.

Here's one precise form of this question. Given a polynomial $P \in \mathbb{Z}[x]$ of degree $n$ define its length $L(P)$ to be the sum of the absolute value of its coefficients.

What is the smallest exponent $e_{n,d}$ for which there exists a constant $c_{n, d}$ such that, for all $P \in \mathbb{Z}[X]$ of degree $n$ and all irreducible factors $Q$ of $P$ in $\mathbb{Z}[x]$ of degree $d$, we have the inequality $L(Q) \le c_{n, d} L(P)^{e_{n,d}}$?

You are looking for Mignotte's bound, also known as Landau-Mignotte bound. I give the statement according to "Modern Computer Algebra" by von zur Gathen and Gerhard (2013 edition, Cor. 6.33) below:

Suppose that $f,g,h \in \mathbb{Z}[x]$ have degrees $\deg f = n \ge 1, \deg g = m, \deg h = k,$ and that $gh$ divides $f$ (in $\mathbb{Z}[x]$). Then $$ \lVert g \rVert_\infty \lVert h \rVert_\infty \le \lVert g \rVert_2 \lVert h \rVert_2 \le \lVert g \rVert_1 \lVert h \rVert_1 \le 2^{m+k} \lVert f \rVert_2 \le (n+1)^{1/2}2^{m+k} \lVert f \rVert_\infty $$ and $$ \lVert h \rVert_\infty \le \lVert h \rVert_2 \le 2^k \lVert f \rVert_2 \le 2^k \lVert f \rVert_1 \quad\text{and}\quad \lVert h \rVert_\infty \le \lVert h \rVert_2 \le (n+1)^{1/2}2^k \lVert f \rVert_\infty.$$ Note that $\lVert f \rVert_1 = L(f)$ is the length of $f$.

If I remember correctly, there are examples for which this bound is essentially sharp (that is, up to polylogarithmic factors). The authors mention the case $f = x^n-1$ and $h = \Phi_n$ the $n$-th cyclotomic polynomial, which has a coefficient bitlength of roughly $n$. Out of my head, I'm not sure if there is a comparably simple example where the size of the coefficients of $f$ is arbitrarily large.