Introduction.tex

...

In Sections \ref{moser-lower-sec}, \ref{moser-upper-sec} we will show

\begin{theorem}[Values of $c'_{n,3}$ for small $n$]\label{moser} We have $c'_{0,3} = 1$, $c'_{1,3} = 2$, $c'_{2,3} = 6$, $c'_{3,3} = 16$, $c'_{4,3} = 43$, $c'_{5,3} = 124$, and $353 \leq c'_{6,3} \leq 361$. \end{theorem}

\begin{remark} The values of $c'_{n,3}$ for $n=0,1,2$ are easily verified. The quantity $c'_{3,3}$ was first computed in \cite{chvatal2}, while the quantity $c'_{4,3}$ was computed in \cite{chandra}; we will give alternate proofs of these results here. The bounds for $c'_{5,3}$ and $c'_{6,3}$ are new. \end{remark}

.. need to set out basic notation