Second-order expansion for the maximum of some stationary Gaussian sequences

We prove a second-order approximation formula for the distribution of the largest term among an infinite moving average Gaussian sequence. The second-order correction term depends on the autocovariance function only through the second largest autocovariance. Applications to Gaussian time series are discussed and a simulation study showed a substantial improvement over other approximations to the exact distribution of the maximum.