The least unramified prime which does not split completely (Q1748356)

Let \(K\) be an algebraic number field and let \(F\ne \mathbb Q\) be a subfield of \(K\). The author shows that for every \(\varepsilon>0\) there exists a prime ideal \(\mathfrak p\) in \(F\) of the first degree, not split completely in \(K\) and satisfying \[ N_{F/\mathbb Q}(\mathfrak p)\ll |D_K|^{(1+\varepsilon)/[4(n-1)A]}, \] where \(n=[K:F]\), \(D_K\) is the discriminant of \(K\), the implied constant depends only on \(\varepsilon\) and \(F\), and \[ A=\sup_{\lambda>0}\left(\frac1\lambda\left[P(1)-\frac n{n-1}e^{-\lambda}\sum_{k=1}^da_k\sum_{j=0}^{k-1}\frac{\lambda^j}{j!}\right]\right), \] \(P(x)=\sum_{j=1}^da_jx^j\) being an arbitrary polynomial with non-negative coefficients satisfying \(a_1=1\). If \(K/F\) is a Galois extension, then one can assume that \(\mathfrak p\) is unramified in \(K\). Earlier the bound \[ N_{F/\mathbb Q}(\mathfrak p)\ll_F |D_K|^{4/(n-1)} \] has been obtained for Galois extensions \(K/F\) by \textit{V. K. Murty} and \textit{V. M. Patankar} [Canad. J. Math. 67, 198--213 (2015; Zbl.1312.11050)].