О стационарных гауссовских процессах с финитной корреляционной функцией

Если корреляционная функция обращается в нуль вне отрезка $[-R,+R]$, то возможна (равномерная по всем таким процессам) оценка сверху для вероятности того, что на другом отрезке $[-r,+r]$ процесс остается между $-\varepsilon$ и $\varepsilon$. Получена такая оценка, убывающая при $\varepsilon\to0$ как $\exp(-f(r/R)\ln^2\varepsilon)$, причем $r/R$ может быть любым от 0 до $+\infty$. Доказательство основано на оценке вида $||P_mQ_n||\geqslant c_{mn}||P_m||\cdot||Q_n||$ для норм полиномов на комплексной окружности. Библ. – 3 назв.