Definition (Wide Sense Stationary Process)
A sequence of RVs with finite variance is wide sense stationary (WSS) if
Remark
Define and note that . This is the autocorrelation function of our process. We assume since otherwise w.p.1. (this is due to stationarity).