P
Initializing...
$K=\mathbb Q(i)$: the residue of $\zeta_K$ at $s=1$ is $\pi/4$ · Prove2Me