1 problem

Let $G$ be a finitely generated pro-$p$ group. Let $\operatorname{Freq}(G)$ denote its limiting frequency among imaginary quadratic fields, and let $\operatorname{Meas}(G)$ denote…