1: \begin{proof} (Theorem~\ref{thm:mle})

2: We assume only that $\lim_{n\to\infty}L_n(p)$ exists. Then, by

3: Lemma~\ref{lem:p_c} this limit is equal to zero for all $p\ne p_c$.

4: (The existence of the limit would follow, for example, from the

5: widely believed, but not rigorously proved, result that for $p=p_c$

6: the distribution of the size of the open cluster size containing the

7: origin has a power-law tail---see Chapter~9 of \cite{Grimmett99}.)

8: Then the result of Lemma~\ref{lem:p_c} can be reformulated in

9: $\varepsilon$-terms as follows: $\forall \varepsilon>0\thickspace

10: \exists\, N(\varepsilon,\gamma)>0$, such that

11: \begin{equation}

12: \mathcal{L}_n(p)<\varepsilon\mathcal{L}_n(p_c)\, \forall

13: n>N(\varepsilon,\gamma)\, \forall p\in [\alpha,p_c-\gamma]\cup

14: [p_c+\gamma,\beta), \label{eq:L<epsilonL}

15: \end{equation}

16: for any $\alpha$ and $\beta$, such that

17: $$\Delta=[\alpha,p_c-\gamma]\cup

18: [p_c+\gamma,\beta],\,\Delta\subset(0,1).$$

19: 

20: The quantity $\hat{p}_n$, being the maximum likelihood estimate for

21: $p$, is the mode of $\mathcal{L}_n(p)$:

22: $$

23: \hat{p}_n:=\text{arg}\max\limits_{p\in(0,1)}\mathcal{L}_n(p),

24: $$

25: that is

26: \begin{equation}

27: \mathcal{L}_n(\hat{p}_n)\geq\mathcal{L}_n(p)\thickspace\forall

28: p\in(0,1). \label{eq:mle}

29: \end{equation}

30: 

31: Consider the sequence of mle's $\{\hat{p}_n\}_{n=1}^{\infty}$. We

32: now prove that this sequence converges to $p_c$. Suppose,

33: conversely, this is not the case:

34: $$

35: \exists\, \zeta\in(0,1)\thinspace \forall M>0\thinspace \exists\,

36: n>M:\thinspace |\hat{p}_n-p_c|>\zeta.

37: $$

38: Take $M(\zeta)=N(\zeta,\zeta/2)$, then $\exists\,

39: n>M(\zeta):\thinspace |\hat{p}_n-p_c|>\zeta$, and, thus,

40: $p_c\neq\hat{p}_n$. At the same time (when $\varepsilon=\zeta$) the

41: following holds by (\ref{eq:L<epsilonL}):

42: $$

43: \mathcal{L}_n(\hat{p}_n)<\zeta\mathcal{L}_n(p_c)<\mathcal{L}_n(p_c),

44: $$

45: thereby contradicting (\ref{eq:mle}). Hence,

46: $\hat{p}_n\rightarrow p_c$, $n\rightarrow\infty$.

47: \end{proof}