I want to find the limit of a such a sequence:

> 
> $f(n+1)=\sqrt{2f(n)-1}, \, f(0)=a, a>1$
> 
> 
> 

How does one do this? Is it possible to have it show the solution algebraically, like it does with standard (non-recurrence) limits in WolframAlpha? (I wasn't able to do it on WolframAlpha).