О сложности мультиплексорной функции в классе $\pi$-схем

Доказывается, что сложность реализации мультиплексорной функции порядка $n$ в классе $\pi$-схем равна $2^{n+1}+\frac{2^n}n\pm O(\frac{2^n}{n\log n})$, и, тем самым, для указанной сложности впервые устанавливаются так называемые асимптотические оценки высокой степени точности.