Асимптотика числа бесповторных булевых функций в базисе $B_1$

Для числа $S_n$ бесповторных булевых функций от $n$ переменных в базисе $B_1$ доказано, что при $n\to\infty$
$$ S_n\sim cn^{-3/2}\alpha^nn!, $$
где $c$ и $\alpha$ – константы.