En primer lugar, elija $k$ tal que $\dfrac{2}{3} < k < 1$ y observar: $b_n = 2a_n^2$ . Así que primero muestra $\{p_n\}$ es una secuencia monotónicamente creciente de números reales positivos. Que $\{p_n\}$ son términos positivos se desprenden de la ecuación recursiva ya que tanto $a_n > 0, b_n > 0$ para todos $n $ 's. Siguiente mirada: $p_{n+1} - p_n = \dfrac{-p_n^2+a_np_n+b_n}{p_n}= \dfrac{(4a_n - p_n)(2a_n+p_n)}{p_n}$ . Desde $2a_n + p_n > 0, p_n > 0$ , para mostrar $p_{n+1} > p_n$ se muestra: $p_n < 4a_n$ . Ahora: $p_n = a_{n-1} + \dfrac{b_{n-1}}{p_{n-1}}< a_n+\dfrac{b_{n-1}}{p_{n-1}}= a_n+\dfrac{2a_{n-1}^2}{p_{n-1}}< a_n+\dfrac{2a_{n-1}^2}{a_{n-2}} < a_n+\dfrac{2a_{n-1}}{k}< a_n + \dfrac{2a_n}{k} < 4a_n\implies p_n < 4a_n\implies 4a_n - p_n > 0 \implies p_{n+1} - p_n > 0\implies p_{n+1} > p_n$ . Así, $\{p_n\}$ es una secuencia monotónicamente creciente de reales positivos. Además están acotados por encima. Para ver que este es el caso tienes: $p_{n+1} = a_n + \dfrac{b_n}{p_n}< 1 + \dfrac{1}{a_{n-1}} < 1 + \dfrac{1}{\frac{1}{4}} = 1+4 = 5, \forall n \ge 1$ . El $\{p_n\}$ Obsérvese también que $a_n \to \dfrac{1}{2}, b_n \to \dfrac{1}{2}$ por lo que se toma el límite para $n \to \infty$ lo consigues: $x = \dfrac{1}{2} + \dfrac{\dfrac{1}{2}}{x}= \dfrac{1}{2} + \dfrac{1}{2x}\implies 2x^2 = x + 1\implies 2x^2-x - 1 = 0\implies (2x+1)(x-1) = 0\implies x = 1,-\dfrac{1}{2}\implies x = 1$ desde $x = \displaystyle \lim_{n\to \infty} p_n > 0$ y esto es cierto ya que $p_{n+1} > a_n > \dfrac{1}{4}\implies x \ge \dfrac{1}{4}$ .