Leonardo number
From Wikipedia, the free encyclopedia
The Leonardo numbers are a sequence of numbers given by:
Edsger W. Dijkstra[1] used them as an integral part of his smoothsort algorithm, and also analysed them in some detail.[2]
They are related to the Fibonacci numbers by the relation (following the convention that F(0) = 0).