1: \begin{proof}

2: 	%The constants $a$ and $b$  are chosen so

3: 	{\black Observe} that $f_{t_\infty}(t_\infty)=0$ and $P'(t_\infty)=1$. That second property

4: 	implies that $f_{t_\infty}$ has negative leading coefficient. Therefore, conditions $(1)$ and $(3)$

5: 	are satisfied.

6: 	

7: 	Let us check that condition $(2)$ is also satisfied. We have:

8: 	\begin{align*}

9: 		\frac{d}{dt}_{|t=t_\infty} f_t(t) &= \frac{d}{dt}_{|t=t_\infty} P(t) - \frac{t}{n}P'(t)\\

10: 		&=\frac{n-1}{n} P'(t_\infty)  - \frac{t_\infty}{n}P''(t_\infty)\\

11: 		&=\frac{6}{7} + \frac{1}{7} P''(-1) = -\frac{50}{49}<0.

12: 	\end{align*}

13: 	

14: Finally, condition $(4)$ is satisfied for $x:=1$. Indeed, {\black recall here that if $f(z)=\sum_{k=0}^n a_k z^k$ is a complex polynomial and $R=\max\{1,\frac{1+|a_0|+\ldots+ |a_{n-1}|}{|a_{n}|}\}$ then for all $|z|>R$ we have $|f(z)|\geq \frac{|z|^n}{R}$ , hence if an orbit at any point leaves the disk of radius $R$, then it must converge to infinity. Observe that for our polynomial $f_{t_\infty}$ we have $R=68$  and that a straightforward computation yields $f_{t_\infty}(1)=\frac{60}{7}$ and $|f^2_{t_\infty}(1)|>68$.}

15: 

16: 

17: %{\black since $f_{t_\infty}$ is a polynomial, there exist $R>0$ such that $|f_{t_\infty}(z)|\geq \frac{|z|^7}{R}$ for all $|z|>R$, hence if an orbit at any point leaves the disk of radius $R$, then it must converge to infinity. Observe that for $f_{t_\infty}$ it suffices to take $R=68$  and that a straightforward computation yields $f_{t_\infty}(1)=\frac{60}{7}$ and $|f^2_{t_\infty}(1)|>R$.}

18: %using symbolic computation software,

19: %one can check that $f_{t_\infty}^3(1)$ is larger than the escape radius for $f_{t_\infty}$.

20: %Recall here that if $f(z)=\sum_{k=0}^n a_k z^k$ is a complex polynomial, then

21: %the filled-in Julia set $K_f$ is contained in $\D\left(0, \frac{1+\sum_{k=0}^{n-1} |a_k|}{|a_{n}|}\right)$.

22: This proves rigorously that $x:=1$ has unbounded orbit under $f_{t_\infty}$.

23: \end{proof}

24: