Представим функцию автокорреляции в показательной форме B (t 1, t 2) = | B (t 1, t 2)|exp{j(t 1, t 2)} и рассмотрим при произвольном a величину
Поскольку среднее от квадрата модуля любой величины неотрицательно, а |cos(j – a)| £ 1,
получаем
,
то есть функция автокорреляции ограничена по модулю. Очевидно, для стационарного случайного процесса | B (t)| £ <|x(t)|2> = B (0).