Let $x_1 =3.$ Prove that $$x_{n+1}=\frac{1}{4-x_n}$$ converges.
The sequence seems to be converging to $1/4$ as the first few terms are $$3,1,\frac{1}{3},\frac{3}{11},\frac{11}{41},\frac{41}{153}, \cdots$$
In order to prove convergence I know I must make use of the definition that a sequence $(x_n)$ converges to $x$ if there exists an $N$ for all $n \ge N \Rightarrow |x_n-x|\lt \epsilon$. But how do I choose $N$ as a function of $\epsilon$? What can I assume? Could someone show me what a proof for this looks like? Thanks.
Step 1
Proof
Obviously, $(1)$ holds for $n=1$. Assume that $(1)$ holds for $n=k$, namely, $0<x_k \leq 3$, then $$0<\frac{1}{4}<x_{k+1}=\frac{1}{4-x_k} \leq 1 \leq 3,$$which implies $(1)$ also holds for $n=k+1$. Thus, by mathematical induction, $(1)$ holds for all $n=1,2,\cdots.$
Step 2
Proof
Notice that $x_1=3, x_2=1.$ Hence $x_2<x_1,$ which implies that $(2)$ holds for $n=1$. Assume that $(2)$ holds for $n=k$, namely, $x_{k+1}<x_k$, then $$x_{k+2}=\frac{1}{4-x_{k+1}}<\frac{1}{4-x_{k}}=x_{k+1},$$which implies $(2)$ also holds for $n=k+1$. Thus, by mathematical induction, $(2)$ holds for all $n=1,2,\cdots.$
Combining the two steps, by monotone convergence theorem, we may claim $x_n$ has a limit, which could be denoted as $x.$ Thus, taking the simultaneous limits of both sides of the recursion formula, we have$$x=\frac{1}{4-x}.$$Hence, $x=2 \pm \sqrt{3}.$ But $x_n \leq 3$, hence $x \leq 3,$ which implies that $2+\sqrt{3}>3$ does not satisfy the requirement. As a result, $$x=2-\sqrt{3},$$ which is desired limit.