The sequence formula_37 starts as:1, 1, 1, 2, 4, 9, 22, 59, 167, 490, 1486, 4639, 14805, 48107, ...Winston and Kleitman proved that for sufficiently large n::formula_40where formula_41Takács later showed, using some reasonable but unproven assumptions, that:formula_42where formula_43Together these provide evidence that::formula_44Here formula_45 signifies an asymptotically tight bound.
Последовательность formula_38 начинается с:1, 1, 1, 2, 4, 9, 22, 59, 167, 490, 1486, 4639, 14805, 48107, ...Уинстон и Клейтман доказали, что для достаточно больших n:formula_41где formula_42:formula_43где formula_44:formula_45Здесь formula_46 отражает асимптотически строгую границу.