1: \begin{proof}

2:     For any $0 < \beta \leq 1$, by Lemma~\ref{lem:fixedpoints}, $(x, y) = (u_\infty(2,\beta), \ell_\infty(d,\beta))$ is a solution to the  system of equations

3:     \begin{equation}\label{eq:d=2fixedpoints}

4:     \begin{cases}

5:     f_u(2,\beta,x,y) = x\cr

6:     f_\ell(2,\beta,x,y)=y

7:     \end{cases}

8:     \end{equation}

9:      satisfying $0<y\leq 1-x-y \leq x < 1$. In Section~\ref{app:d=2bound}, we use the Resolve function of Mathematica to show

10: rigorously that there is no solution to~\eqref{eq:d=2fixedpoints}

11: satisfying      

12:     \[0 < y \leq \frac{1}{3}  \text{ and } \frac{1106}{2500} \leq x < 1\]

13: and there is no solution satisfying

14:     \[0 < y \leq \frac{460}{2000}  \text{ and } \frac{1}{3} \leq x < 1.\]

15: 

16: If   $0<y\leq 1-x-y \leq x < 1$ then $0<y\leq1/3$ and $1/3 \leq x < 1$.

17: So any solution to~\eqref{eq:d=2fixedpoints}

18: which satisfies $0<y\leq 1-x-y \leq x < 1$

19: must also satisfy 

20: $ y> {460}/{2000}$

21: and $x <  {1106}/{2500}$.

22: We conclude that 

23: $ \ell_\infty(d,\beta)> {460}/{2000}$

24: and $u_\infty(d,\beta) <  {1106}/{2500}$.

25:      

26: Since $\ell_\infty(2,\beta)$ and $u_\infty(2,\beta)$ are the limits of the sequences

27: $\ell_n(2,\beta)$ and $u_n(2,\beta)$, respectively,

28: there is a positive integer~$n_0$

29: such that, for all $n\geq n_0$,

30: $ \ell_n(2,\beta)\geq {459}/{2000}$

31: and $u_n(2,\beta) \leq  {1107}/{2500}$.

32: Thus by Lemma~\ref{lem:probbound}, 

33: for every $n\geq n_0$ and every $\tau\colon{\theleavestwo} \to [3]$, 

34:     \[\frac{459}{2000}\leq\ell_n(2,\beta)\leq \Pr_{\thetreetwo}[\sigma(\theroottwo)=c\mid \sigma(\theleavestwo) = \tau] \leq

35:     u_n(2,\beta) \leq

36:     \frac{1107}{2500}.\qedhere\]

37:     \end{proof}

38: