Bertrand’s postulate for number fields
Bertrand’s postulate for number fields
Consider an algebraic number field, $K$, and its ring of integers, $\mathcal {O}_K$. There exists a smallest $B_K \gt 1$ such that for any $x \gt 1$ we can find a prime ideal, $\mathfrak {p}$, in $\mathcal {O}_K$ with norm $N(\mathfrak {p})$ in the interv