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 the constant numerically.
Its value is
|
(5)
|
(OEIS A086053).