Chebyshev's method for number fields (Q5939696)

Let \(\alpha\) be an irrational algebraic integer such that \({\mathbb{Q}}(\alpha) / {\mathbb{Q}}\) is Galois. If \(S\) is the set of primes splitting in \({\mathbb{Q}}(\alpha)\) then \[ \sum_{p \in S,\;p \leq x} 1\gg \frac{x^{1/d}}{\log x}, \quad \text{where} \quad d= [{\mathbb{Q}}(\alpha) : {\mathbb{Q}}]. \] The proof uses binomial coefficients and extends Chebyshev's classical approach.