О связи линейных неравенств с монотонными булевыми функциями

Показано, что для представления почти всех монотонных булевых функций от $n$ переменных требуется более $\displaystyle\left.\binom{n}{[n/2]}\right/n^2$ линейных неравенств.