For every integer $n > 1$, we define $P _ { n } \in \mathbb { Z } [ X ]$ by
$$P _ { n } = X ^ { 4 } - ( 6 + n ) X ^ { 3 } + ( 10 + n ) X ^ { 2 } - ( 6 + n ) X + 1 .$$
Verify that $P _ { n }$ has no root in $\mathbb { Q }$ and that $P _ { n }$ has at least one real root strictly greater than 1. We fix such a root $\alpha _ { n }$ in the sequel.