An almost sure limit theorem for the maxima of smooth stationary Gaussian processes

Let {X(t),t≥0} be a continuous mean square differentiable stationary Gaussian process. Under some mild restrictions on its correlation function r(⋅), we prove an almost sure limit theorem for the maximum of the Gaussian process {X(t),t≥0}.