Show that the autocovariance function of stationary process {${X_t}$} with mean $\mu_X$ and variance $\gamma_X (0) > 0$ is positive definite, i.e.,
$\begin{equation} \sum^n_{t=1} \sum^n_{t'=1} a_ta_{t'}\gamma_X(|t-t'|) >0 \end{equation}$
in which {$a_i$} can be any sequence of real numbers.
My work so far, I was able to prove by stating $\mu_X = 0$ and doing so,
$a \in ℝ^n$ and $ \begin{pmatrix} X_1 \\ \vdots \\ X_n \end{pmatrix}$ with $E[X] = 0$,
$Cov(X) = \Gamma_n$ with $(\Gamma_n)_{t,t'} = \gamma(t-t')$,
Then $0 \leq E[(a^tX)^2] = Cov(a^tX)=a^t\Gamma_na=\sum^n_{t=1}\sum^n_{t'=1} \gamma(t-t')a_ta_{t'}$
but what changes when it comes to $\mu_X$ instead of 0?