Binet’s formula