Solution (source code)

= Solution

The extinction probability is the smallest fixed point of the convex generating <function> $F_1$ in $[0,1]$. Since $F_1\prime(1)=\mu\le1$ and $p_0,p_2\gt 0$ make strict convexity relevant, the only fixed point is $1$.