Classical zero-free region for Dirichlet L-functions (source code)

= Classical zero-free region for Dirichlet L-functions
{c}

There is an absolute $c>0$ such that the <Dirichlet L-functions> modulo $q$ have no zero in
$$
\Re s\geq1-\frac{c}{\log(q(|\Im s|+2))}
$$
apart from at most one real simple zero belonging to a real nonprincipal character.