text: Числа Леонардо — последовательность чисел, задаваемая зависимостью: L ( n ) := { 1 если n = 0 ; 1 если n = 1 ; L ( n − 1 ) + L ( n − 2 ) + 1 если n > 1. {\displaystyle L(n):={\begin{cases}1&{\text{если }}n=0;\\1&{\text{если }}n=1;\\L(n-1)+L(n-2)+1&{\text{если }}n>1.\\\end{cases}}} Эдсгер Дейкстра использовал их как составную часть своего алгоритма плавной сортировки, и изучил их некоторые особенности.