For what it's worth, this is essentially A072649 in Sloane (http://www.research.att.com/~njas/sequences/A072649). All the formulas given there for that formula either are in terms of the logarithm or assume the Fibonacci numbers are already known and just search that sequence.
Michael Lugo
- 14k
- 7
- 58
- 80