Нижняя оценка числа неравенств, представляющих монотонную булеву функцию от $n$ переменных

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