Пороговая функция в эффекте Шеннона для булевых функций относительно симметрической группы

Доказывается, что если $A$ – свойство булевой функции $(x_1,\dots,x_n)$ веса $r$, заключающееся в том, что $f$ имеет тривиальную группу инерции относительно группы $S_n$, то функция $A(n)=\ln n$ является пороговой для свойства $A$.