Step 1. Move to a nice setting.
It causes no difference if we realize such an i.i.d. sequence $(X_i)$ on the space
$(\Omega, \mathcal{F}, \Bbb{P}) = ([0, 1), \mathcal{B}, \lambda),$
where $\mathcal{B}$ is the Borel field on $[0, 1)$ and $\lambda$ is the Lebesgue measure, such that for each $\omega \in \Omega$
$ X_i(\omega) = i\text{-th digit of } \omega \text{ in base 2 }.$
This definition has no ambiguity unless $\omega$ is rational, which is contained in a null-set $\Bbb{Q} \cap \Omega$. But for the sake of simplicity, we modify its value on this null-set so that $X_i$ is right-continuous. Then the resulting $(X_i, i \geq 1)$ is a sequence of independent Bernoulli random variables.
Now, as a function on $[0, 1)$, we may extend each $X_i$ to a 1-periodic function $f_i : \Bbb{R} \to \{0, 1\}$. Then it is easy to observe that $f_{i+1}(x) = f_i(2x)$. Thus we may write
$ X_i(\omega) = f_{1}(2^{i-1}\omega). $
Thus the partial sum
$ S_n (\omega) = 3 \sum_{i=1}^{n} 4^{-i} X_i (\omega) = \sum_{i=1}^{n} 4^{-i} f_1(2^{i-1}\omega)$
satisfies
$ S_1(\omega) = \frac{3}{4} f_1(\omega), \quad S_{n+1}(\omega) = S_1(\omega) + \frac{1}{4} S_n(2\omega). \tag{1}$
We also note that the limit $X = \lim_{n\to\infty} S_n$ converges both absolutely and uniformly.
Step 2. Identify some important properties of the limit $X$
Let $C$ be a Cantor-like set obtained by the following procedure: Starting from the unit interval $[0, 1]$, delete the concentric open interval with the length half of the original interval. Repeat this process to each remnant closed intervals. Clearly, $C$ is a closed set with zero measure. Moreover, from its construction it is clear that $C$ has the following self-similarity: $ C = \left( \frac{1}{4}C \right) \cup \left( \frac{3}{4} + \frac{1}{4}C \right). \tag{2}$
Now we claim that for each $n$,
- $S_n (\omega)$ is monotone increasing and right continuous.
- The range of $S_n (\omega)$, which is denoted by $\mathrm{Rng} \, S_n = \{ S_n(\omega) : \omega \in \Omega \}$, is contained in $C$.
Indeed, for $n = 1$ the property 1 is clear. Also, $\mathrm{Rng} \, S_1 = \{0, \frac{3}{4} \}$ is clearly a subset of $C$. Next, assume both the property 1 and 2 hold for $n$. Then by $(1)$, the property 1 still holds for $n+1$ and
$ \mathrm{Rng} \, S_{n+1} = \left( \frac{1}{4} \mathrm{Rng} \, S_{n} \right) \cup \left( \frac{3}{4} + \frac{1}{4} \mathrm{Rng} \, S_{n} \right) \subset \left( \frac{1}{4}C \right) \cup \left( \frac{3}{4} + \frac{1}{4}C \right) = C,$
from which the claim is confirmed.
Since $C$ is closed and $S_n(\omega)$ converges uniformly to $X$, we find that $X$ is also monotone-increasing and right-continuous, and that the range of $X$ is also contained in $C$. It is also trivial to check that $X(1-) = 1$.
Step 3. Prove the claim.
Let $F$ be the CDF of $X$. That is,
$ F(x) = \Bbb{P}(X \leq x). $
Clearly we have
$ F(x) = 0 \text{ if } x \leq 0 \quad \text{and} \quad F_X(x) = 1 \text{ if } x \geq 1.$
This enables us to restrict our attention to the case $x \in (0, 1)$. Since $X$ is monotone increasing and right-continuous,
$ F(x) = \Bbb{P}(X \leq x) = \lambda (X^{-1}[0, x]) = \max \{\omega \in \Omega : X(\omega) \leq x \}. $
But since $C^c = [0, 1] \setminus C$ is an open set and contains no values of $X$, it is clear that $F$ is locally constant on $C^c$. In particular, we have $F'(x) = 0$ on $C^c$. Since $\lambda(C^c) = 1$, this proves that
$F'(x) = 0 \quad \text{a.e.} $
Therefore $F$ is not absolutely continuous with respect to the Lebesgue measure. (In fact, this proves that $F$ is singular.) ////
Please tell me if there is a typo or an error. It's 4:00 a.m. here and I'm half-nodding.