I am looking for a proof (or a reference to a proof) of the following theorem:
Let $X$ be a compact metric space with metric $d$, endow $X$ with the Borel $\sigma$-algebra and a probability measure $\mu$. Let $T\colon X\to X$ be a continuous map which is $\mu$-preserving. Then for $\mu$-almost every $x\in X$ there is a sequence $n_k\to\infty$ in $\mathbb{N}$ such that $T^{n_k}x\to x$ as $k\to\infty$.
I tried already for some time and looked for references, unfortunately unsuccessful. It seems that one needs to find the right formulation to be able to use the Poincare recurrence theorem. Any ideas?