Using Binet's formula