Talk:Binet's fibonacci number formula