Źródło TeX:
R_{XX}(\tau)>0