I consider the irrational rotation $T_\alpha(x) = x + \alpha \text{ mod } 1$ for given irrational $\alpha \in [0,1]$. For a given open interval $A \subset [0,1]$ with length $|A|>0$, I consider the recurrence times $I = \{n\in \mathbb{N}: T^n(0) \in A \}$. I want to show that $\sum_{i \in I} p\cdot(1-p)^i \to |A|$ as $p \to 0$.

My very informal motivation for this is that the above sum should be equal to $\sum_{n\in \mathbb{N}} p \cdot (1-p)^{n\cdot\frac{1}{|A|}}$ "give or take" "a few" $(1-p)$-factors (which tend to $1$ as $p \to 0$), and the latter sum can be shown to converge to $|A|$ as $p \to 0$.

I have obtained a somewhat similar (but obviously not identical) result for the case of rational $\alpha$ (happy to add details, but I'm not sure if it's useful), and tried to derive the above using a rational series converging to $\alpha$, but wasn't successful.

Unfortunately, I have virtually no background in ergodic theory, numbers theory and similar subjects which apparently treat irrational rotations, and thus don't quite know where to start.