Contexto.
Estaba tratando de probar que para un determinado $n$ existe un campo de grados totalmente real $n$ .
Entendí que era equivalente a encontrar un polinomio $P$ de tal manera que
(i) $P \in\mathbb Q[X]$ ;
ii) $P$ es irreducible;
iii) $P$ sólo tiene raíces reales en $ \mathbb C$ ;
iv) $P$ tiene un título $n$ .
Tuve éxito en mi problema inicial gracias a este y este dos preguntas de MSE.
Pero la construcción es abstracta, y no puedo deducir de ella un polinomio explícito que satisfaga las cuatro condiciones.
La pregunta.
Para un determinado $n$ ¿Sabes cómo puedo construir un polinomio explícito $P$ satisfaciendo (i), (ii), (iii) y (iv)?