Dirichlet density (source code)

= Dirichlet density
{c}
{wiki}

A set $S$ of prime ideals has Dirichlet density
$$
\delta(S)=\lim_{s\to1^+}
\frac{\sum_{\mathfrak p\in S}N\mathfrak p^{-s}}
{\log(1/(s-1))},
$$
when the limit exists.