Binet’s Fibonacci number formula