Hello,


What is the standard reference (including proofs) for a $\sigma>1-\frac{A}{\log t}$ type zero-free region for the Dedekind zeta-function and also, order estimates for $\zeta\_K(s)$ and $\frac{1}{\zeta\_K(s)}$ as $t\to\infty$ in such regions?


Thanks.



Zero-free regions for the Dedekind zeta-function
You can find a proof in the paper of Lagarias and Odlyzko on the effective Chebotarev density theorem.


