1: \begin{definition}  \label{R1 exceptional def}

2: Define $R_1 = 9.645908801$.

3: We define an \emph{exceptional} zero of $L(s,\chi)$ to be a real zero $\beta$ of $L(s,\chi)$ with $\beta \ge 1 - \frac{1}{R_1\log q}$. By work of McCurley~\cite[Theorem 1]{Mc1}, we know that Hypothesis~Z${}_1(9.645908801)$ holds for the relevant moduli $q\ge10^5$ (as per Definition~\ref{hypothesis z}), and therefore there can be at most one exceptional zero among all of the Dirichlet $L$-functions to a given modulus~$q$.

4: \end{definition}

5: