Solution
= Solution
For a set $S$ of nonzero prime ideals of $K$, its <Dirichlet density> is
$$
\delta(S)=\lim_{s\to1^+}
\frac{\sum_{\mathfrak p\in S}(N\mathfrak p)^{-s}}
{\log(1/(s-1))},
$$
provided the limit exists.
= Solution
For a set $S$ of nonzero prime ideals of $K$, its <Dirichlet density> is
$$
\delta(S)=\lim_{s\to1^+}
\frac{\sum_{\mathfrak p\in S}(N\mathfrak p)^{-s}}
{\log(1/(s-1))},
$$
provided the limit exists.