Para cada $a$$(0,1]$, vamos a $N_a=\inf\{n\geqslant1\mid X_1X_2\cdots X_{n}\lt a\}$.
Suponga que $X_1=x$$x$$(0,1)$. Si $x\lt a$,$N_a=1$. Si $x\geqslant a$, $N_a=1+N'$ donde $N'=\inf\{n\geqslant1\mid X_2\cdots X_{n+1}\lt a/x\}$ es independiente de $X_1$ y se distribuye como $N_{a/x}$.
Por lo tanto, $m(a)=\mathbb E(N_a)$ resuelve la ecuación
$$
m(a)=1+\int_a^1m\left(\frac{a}x\right)\mathrm dx\ \stackrel{(s=a/x)}{=}\ 1+a\int_a^1m(s)\frac{\mathrm ds}{s^2}.
$$
La diferenciación de este, uno ve que
$$
m'(a)=a^{-1}(m(a)-1)-m(a)^{-2}=-a^{-1}.
$$
Desde $N_1=1$ casi seguramente, esto se obtiene para cada $a$$(0,1]$,
$$
\mathbb E(N_a)=1-\log.
$$
Edit: Otro enfoque es considerar $Y_n=-\log X_n$ y la nota que $N_a$ $1$ más el número de puntos en el intervalo de $(0,-\log a)$ para el proceso con incrementos de $(Y_n)_{n\geqslant1}$. Este es un proceso de Poisson homogéneo con la intensidad de la $1$, con lo que el número medio de puntos en un intervalo de $I$ es la medida de Lebesgue de $I$. Para $I=(0,-\log a)$, este es el resultado de arriba.