Aunque tradicionalmente se atribuyó a Binet (quien la publicó en 1834), esta fórmula ya había sido obtenida por Abraham de Moivre en 1718, y rigurosamente demostrada por Leonhard Euler en 1765.