Prove that $\sum_{n=1}^\infty \left(\phi-\frac{F_{n+1}}{F_{n}}\right)=\frac{1}{\pi}$ So, I know that $$\lim_{n\to\infty}\frac{F_{n+1}}{F_n}=\phi$$
where $F_n$ stands for the n'th Fibonacci number 
I was interested in measuring the error of the convergence of the above limit and was drawn to the conjecture that:
$$\sum_{n=1}^\infty \left(\phi-\frac{F_{n+1}}{F_{n}}\right)=\frac{1}{\pi}$$
How might we go about proving this result? 
Edit:
The solution is actually not $\frac{1}{\pi}$. I had thought that it was due to how close the sum and $1/\pi$ actually are. I am curious (if one exists) if there is a closed form for the sum.
 A: 
Notice:

*

*Golden Ratio:
$$\phi=\frac{1+\sqrt{5}}{2}$$

*Limit of the Fibonacci numbers:
$$\lim_{n\to\infty}\frac{\text{F}_{n+1}}{\text{F}_n}=\phi$$

*The $n^{\text{th}}$ Fibonacci number:
$$\text{F}_n=\frac{\phi^n-\left(-\phi\right)^{-n}}{\sqrt{5}}=\frac{\phi^n-\frac{1}{\left(-\phi\right)^n}}{\sqrt{5}}$$

So, we get that:
$$\sum_{n=1}^{\infty}\left[\phi-\frac{\text{F}_{n+1}}{\text{F}_n}\right]=\sum_{n=1}^{\infty}\left[\phi-\frac{\frac{\phi^{n+1}-\frac{1}{\left(-\phi\right)^{n+1}}}{\sqrt{5}}}{\frac{\phi^n-\frac{1}{\left(-\phi\right)^n}}{\sqrt{5}}}\right]=\sum_{n=1}^{\infty}\left[\phi-\frac{1+(-\phi)^n\phi^{2+n}}{\phi\left(\left(-\phi^2\right)^n-1\right)}\right]=$$
$$\sum_{n=1}^{\infty}\frac{1+\phi^2}{\phi-\phi\left(-\phi^2\right)^n}=\frac{\sqrt{5}\left(5\pi-i\left(\ln(5)+2\psi_{\frac{1}{2}\left(-3-\sqrt{5}\right)}^{(0)}\left[1-\frac{2\pi}{\pi-i\text{arccosh}\left(\frac{3}{2}\right)}\right]\right)\right)}{2\left(\pi-i\text{arccosh}\left(\frac{3}{2}\right)\right)}$$
A: The Fibonacci numbers are given by
$$F_n = \frac{\phi^n -(-\phi)^{-n}}{\sqrt{5}} $$
with $\phi=(1+\sqrt{5})/2$ the golden ratio.
So  we need to calculate
$$
 \sum_{n=1}^\infty\left(\phi -\frac{F_{n+1}}{F_n}\right)
= \sum_{n=1}^\infty \frac{1+\phi^2}{\phi(1+(-1)^{n+1}\phi^{2n})}
=\sum_{n=1}^\infty \frac{\sqrt{5}\, 4^n}{4^n+(-1)^{n+1} \left(1+\sqrt{5}\right)^{2 n}}.
$$
I am not sure if this last sum has any nice explicit expression.
But definitely, we can see that the sum converges absolutely, as
$$ \left|\frac{\sqrt{5}\, 4^n}{4^n+(-1)^{n+1} \left(1+\sqrt{5}\right)^{2 n}}\right| = O((4/5)^n).$$
