Let $(X,\mathcal{F},\mu)$ be a prob. space and $T:X \rightarrow X$ be measure preserving, and $f \in \mathcal{L}^1(X,\mathcal{F},\mu)$. Assume that $f \geq 0$ and suppose the set $A = \{f > 0\}$ has positive measure. Show that for $\mu$ almost all $x \in A$ we have that $\sum_{n=1}^\infty f(T^nx) = \infty$.
My current proof is this ugly beast:
Define $A_q = \{x \in X: f(x) > q\}$ and note that $A = \bigcup_{q \in \mathbb{Q}_{>0}} A_q$ and that if $q_1 > q_2$ then we have that $A_{q_2} \subset A_{q_1}$. Due to the fact that $\mu(A) = \sum_{q \in \mathbb{Q}_{>0}}\mu(A_q)$, there exists a number of sets $A_q$ of non-zero measure. Now consider the set $U_x = \bigcap_{x \in A_q}A_q$ for $x \in A$. Since for all $A_q,A_p$ we have either $A_p \subset A_q$ or $A_q \subset A_p$, this implies there must be a $q' \in \mathbb{Q}_{>0}$ such that $A_{q'} = U_x$.
Now let us assume that such an $U_x$ has non-zero measure. This means that for almost all $x \in U_x$ we have that there exists a $k \in \mathbb{N}_{>0}$ such that $f(T^kx) \in U_x$. And since $U_x = A_{q'}$ we have that $f(T^{nk}x) > q'$ for all $n$. Therefore: $ \sum_{n=1}^\infty f(T^nx) \geq \sum_{n=1}^\infty f(T^{nk}x) > \sum_{n=1}^\infty nq' = \infty.$
Now if $U_x$ has measure zero, then we have $\mu\{x \in A: \mu(U_x) = 0\} \leq \sum_{\mu(U_x) = 0}\mu(U_x) = 0$. This of course means that $\mu\{x \in A: \mu(U_x) >0\} = \mu(A)$.
Any ideas on a better approach to this? I'm not even sure if this way actual shows what I want to.