1: \begin{proof} Let $p=p_k$. If we can find a $\mu\not\in \ovD$ that is an attracting fixed point of $p$, then, for all sufficiently small $\epsilon>0$, $N := \mu + \epsilon \D$ satisfies $p(N)\subset N$ and $N\cap \ovD = \emptyset$, so that $N\subset K(p)$ and $N\cap \overline{U(p)}=\emptyset$. Calculating in double-precision floating-point arithmetic in Matlab we see that $\lambda\approx 1.21544069$ appears to be a fixed point of $p$, with

2: $$

3: p^\prime(\lambda) = 18\lambda^{17} - 64\lambda^{15} + 70\lambda^{13} - 48\lambda^{11} + 70\lambda^{9} - 64\lambda^7 + 36\lambda^5 -

4: 16\lambda^3 + 2\lambda \approx -0.69,

5: $$

6: so that this fixed point appears to be attracting. To put this on a rigorous footing we work in exact arithmetic to deduce,  by the intermediate value theorem, that $p(\lambda)=\lambda$ has a solution $\lambda^*\in(1.215,1.216)$, and that $|p^\prime(1.2155)|\leq 0.71$. Then, noting that

7: $p^{\prime\prime}(\lambda)= p_+(\lambda)-p_-(\lambda)$, where

8: $p_+(\lambda) = 306\lambda^{16} + 910\lambda^{12}  + 630\lambda^8 + 180\lambda^4 + 2$ and $p_-(\lambda) = 960\lambda^{14} + 528\lambda^{10} + 448\lambda^6 + 48\lambda^2$,

9: we see that

10: \[|p^{\prime\prime}(\lambda)|\leq \max\{|p_-(1.216)-p_+(1.215)|,|p_-(1.215)-p_+(1.216)|\} < 400\]

11: for $1.215\leq \lambda\leq 1.216$. But this implies that

12: $|p^\prime(\lambda^*)| \leq |p^\prime(1.2155)| + 0.0005 \times 400 \leq 0.91$, so that $\lambda^*$ is an attracting fixed point.

13: \end{proof}

14: