At this link I have seen the following formula whereas $$ r_k = \frac {\sum_{t=k+1}^n a_ta_{t-k}} {\sum_{t=1}^n a_t^2}$$ $$\operatorname{Var}(r_k) = \frac {n-k}{n(n+2)}$$ where $r_k$ is the autocorrelation at relevant lag, $n$ is the number of points in the data set, and $a_t$ is the error.
I have searched the internet for the proof for variance equation, but I haven't found it. Could anyone help me prove the formula I mentioned above?