Determining if a recursively defined sequence converges and finding its limit Define $\lbrace x_n \rbrace$ by $$x_1=1, x_2=3; x_{n+2}=\frac{x_{n+1}+2x_{n}}{3} \text{if} \, n\ge 1$$ The instructions are to determine if this sequence exists and to find the limit if it exists. 
I prove that the sequence is eventually decreasing and that it is bounded below (see work below). Hence, if my work is correct, the sequence will have a limit. The problem is that if the limit is, say, $L$ then it should satisfy $L=\frac{L+2L}{3}$; however, every real number satisfies the latter equality. So, if this limit exists, how do I actually find it?
Proving the limit exists:
1) The sequence is bounded below by $1$.
Base Case: $x_1=1\ge 1$.
Induction: Suppose $x_n\ge 1$ for all $k=1,\ldots ,n+1$. Then $x_{n+2}=\frac{x_{n+1}+2x_{n}}{3}\ge \frac{3}{3}=1$.
2) The sequence is eventually decreasing: It actually starts decreasing after the 4th term. So I take as my base case $x_5<x_4$.
Base Case: Note that $$x_3=\frac{x_2+2x_1}{3}=\frac{3+2}{3}=5/3$$ and hence $$x_4=\frac{x_{3}+2x_{2}}{3}=\frac{5/3+2\times3}{3}=23/9$$ so $$x_5=\frac{x_{4}+2x_{3}}{3}=\frac{23/9+2\times5/3}{3}=\frac{53}{27}<x_4$$
Induction: Suppose $x_{n}<x_{n-1}.$ Then $$x_{n+1}-x_n=\frac{x_{n}+2x_{n-1}}{3}-x_n \\=2\frac{x_{n-1}-x_n}{3}<0$$
Therefore, the sequence is bounded below and is eventually decreasing. 

So, if this limit exists, how do I actually find it?
We add $\frac{2}{3}x_{n-1}$ to the recurrence relation  term to get
$$x_n+\frac{2}{3}x_{n-1}=x_{n-1}+\frac{2}{3}x_{n-2}, \; \forall n\gt 2$$
and therefore
$$x_n+\frac{2}{3}x_{n-1}=x_{2}+\frac{2}{3}x_{1}=3+\frac{2}{3}$$
Assuming that the sequence is convergent we can  take the limits
$$(1+\frac{2}{3}) \lim x_n = \frac{11}{3}$$
to find
$$\lim x_n=\frac{11}{5}$$
checking the convergence
From the defining relation
$$x_{n+2}=\frac{x_{n+1}+2x_{n}}{3}$$
we get
$$x_{n+2}-x_{n+1}=-\frac{2}{3}(x_{n+1}-x_{n})$$
so that we can conclude that the sign of two successing elements of the sequence is alternating:
From this we get
$$\text{sgn}(x_{n+2}-x_{n+1})=-\text{sgn}(x_{n+1}-x_{n})=(-1)^n\text{sgn}(x_{2}-x_{1})=(-1)^n$$
$$x_{n+2}-x_{n}=\frac{x_{n+1}-x_{n}}{3}$$
$$\text{sgn}(x_{n+2}-x_{n})=\text{sgn}(\frac{x_{n+1}-x_{n}}{3})=(-1)^{n+1}$$
so the sequence element with odd indexes are increasing  and the sequence elements with the evben indexes are decreasing. We have 
$$ x_{2r+1} \le   x_{2s-1} \le x_{2s} , \; r\lt s$$
so $\lim\limits_{n \to \infty}x_{2n}$ and  $\lim\limits_{n \to \infty}x_{2n+1}$ exist and the difference is $0$ so the sequence converges. $[x_{2n+1},x_{2n+2}]$ is a sequence of nested intervals. Their length converges to $0$.
