Lengyel's constant is a limit arising from the enumeration of chains in lattices of set partitions. Let denote the lattice of set
partitions of the set
, for a positive
integer
,
ordered by refinement. The greatest element of
is
|
(1)
|
and the least element is
|
(2)
|
Let
denote the number of strictly increasing chains of any
length in
containing both
and
.
For
,
satisfies the recurrence relation
|
(3)
|
where
and
is a Stirling number of the second
kind. The first few values of
for
, 2, ... are then 1, 1, 4, 32, 436, 9012, 262760, ... (OEIS
A005121).
Lengyel (1984) proved that the quotient
|
(4)
|
is bounded between two positive constants as . Babai and Lengyel (1992) proved that the quotient
converges to a positive limit.
Flajolet and Salvy (1990) computed its numerical value,
|
(5)
|
(OEIS A086053).