P
Initializing...
log ζ_K(s) = log (1 / (s - 1)) + log κ_K + o(1) · Prove2Me