For a known mean zero, a common sample autocovariance function convention is
The weakly stationary process property gives , so
The lag-zero estimate is unbiased, but at nonzero lags the divisor causes a finite-sample multiplicative bias. An alternative convention uses instead; for that convention the expectation is exactly . These are two normalizations of the sample autocovariance function, so the divisor must be specified. Here no estimated-mean centering term occurs because zero is known. Replacing zero by a sample mean would introduce additional bias terms. Extend to negative lags by symmetry; there are no observed lagged pairs for .