Aloha :)
Wir untersuchen die rekursiv definierte Fogle$$a_{n+1}=\frac{1}{2}(3a_n-a_{n-1})\quad;\quad a_0=0\quad;\quad a_1=1$$
Behauptung\(\quad a_n=\frac{2^n-1}{2^{n-1}}\quad\text{für alle}\quad n\in\mathbb N_0\)
Verankerung bei \(n=0\) und \(n=1\):$$n=0\implies a_n=\frac{2^0-1}{2^{0-1}}=\frac{1-1}{\frac{1}{2}}=0\quad\checkmark$$$$n=1\implies a_n=\frac{2^1-1}{2^{1-1}}=\frac{2-1}{1}=1\quad\checkmark$$
Induktionsschritt
$$a_{n+1}\stackrel{(\text{Ind.Vor.})}{=}\frac{1}{2}\left(3\cdot\frac{2^n-1}{2^{n-1}}-\frac{2^{n-1}-1}{2^{(n-1)-1}}\right)=\frac{1}{2}\left(\frac{3}{1}\cdot\frac{2^n-1}{2^{n-1}}-\frac{2}{2}\cdot\frac{2^{n-1}-1}{2^{(n-1)-1}}\right)$$$$\phantom{a_{n+1}}=\frac{1}{2}\left(\frac{3(2^n-1)}{2^{n-1}}-\frac{2^n-2}{2^{n-1}}\right)=\frac{1}{2}\cdot\frac{3\cdot 2^n-3-2^n+2}{2^{n-1}}=\frac{2\cdot2^n-1}{2^n}$$$$\phantom{a_{n+1}}=\frac{2^{n+1}-1}{2^{(n+1)-1}}\quad\checkmark$$
Der Grenzwert der Folge ist:$$a_\infty=\lim\limits_{n\to\infty}a_n=\lim\limits_{n\to\infty}\left(\frac{2^n-1}{2^{n-1}}\right)=\lim\limits_{n\to\infty}\left(\frac{2^n}{2^{n-1}}-\frac{1}{2^{n-1}}\right)=\lim\limits_{n\to\infty}\left(2-\frac{1}{2^{n-1}}\right)=2$$