using Binet's formula