On the Estimation of the Mean in Stationary Processes

The variance of the estimate
$$m_{N+1}=\frac1{N+1}\sum_{i=0}^N\xi\left(\frac{i}{N}\cdot T\right)$$
of a mean of a stationary process $\xi(t)$ is shown to attain its minimum value for some finite $N$.