Gdddk

I have a question relating to image that I've attached. It is a proof that the sequence is increasing. I don't understand the logic behind the third equation $$fraca_n+1a_n>left (1-frac1n+1right ) left (fracn+1nright)$$

where does the equation in the first and second parenthesis come from?

Ok, I have another relating question:

why $$fraca_n+1a_n> (1+frac1n)$$ ( The expression of third line.

It is putting together the result from the first red box with the second one:

• $fraca_n+1a_n = colorblueleft(1- frac1(n+1)^2 right)^n+1left( fracn+1nright)$


• $colorblueleft(1- frac1(n+1)^2 right)^n+1 > colorgreen1 + (n+1)left( frac-1(n+1)^2right)$

$$Rightarrow fraca_n+1a_n > left(colorgreen1 + (n+1)left( frac-1(n+1)^2right)right)left( fracn+1nright) = left(underbrace1- frac1n+1_=fracnn+1right)left( fracn+1nright)$$

From Bernoulli's inequality, we have

$$left( 1- frac1(n+1)^2right) > 1+(n+1) left(frac-1(n+1)^2 right)=1-frac1n+1$$

Hence,

$$fraca_n+1a_n>left( 1- frac1(n+1)^2right)left( fracn+1nright)>left(1-frac1n+1 right)left( fracn+1nright)$$

So, we have
$$fraca_n+1a_n = left(1 - frac1(n+1)^2right)^n+1left(fracn+1nright).$$
The author then applies Bernoulli's inequality to the first term on the RHS:
$$left(1 - frac1(n+1)^2right)^n+1 > 1 + (n+1)left(frac-1(n+1)^2right) = 1 - frac1n+1.$$
We can now return to the first equation and utilize this estimate; namely, we have
$$fraca_n+1a_n = left(1 - frac1(n+1)^2right)^n+1left(fracn+1nright) > left(1-frac1n+1right)left(fracn+1nright).$$
Finally, we multiply out the RHS of the inequality
$$fraca_n+1a_n > left(1-frac1n+1right)left(fracn+1nright) = fracn+1n - frac1n = 1.$$
So, we have
$$fraca_n+1a_n > 1 implies a_n+1 > a_n,$$
which means that $a_n$ is an increasing sequence.