1: \begin{proof}[Proof of Theorem~\ref{intro-2d-bounds}]

2: The lower bound is obtained by talking $c=1.5116$ in Lemma~\ref{lb-2d},

3: which yields the infimum $2.008$ for $\lambda=0.0388$.

4: The upper bound is obtained by using

5: Lemma~\ref{ub-2d} with $k=6$, $\ell=4$ and 

6: the best rigorous upper bound for $\pcsite$ known,  $\pcsite<0.6795$ \cite{Wie}.

7: \end{proof}

8: