[math-fun] Binet's formula