Binet's formula