Let $X_{k}$ be a collection of independent R.V.'s with $E(X_{k})=1$ and $X_{k}>0$ for all $k$. Define $M_{n}=\Pi_{k=1}^{n} X_{k}$ and $a_{k}=E(\sqrt{X_{k}})$. Then
1) If $\Pi_{k=1}^{n}a_{k}\rightarrow 0$, then $M_{n}\rightarrow0$ a.s.
2) If $\Pi_{k=1}^{n}a_{k}\nrightarrow 0$, then $M_{n}$ converges a.s. and in $L^{1}$ to some $M_{\infty}$ where $M_{\infty}>0$ a.s.
Clearly, $M_{n}$ defines a martingale, So martingale convergence theorem guarantees that there always exists an limit $M_{\infty}$. My attempt for the first question is to show the convergence in probability to $0$. That is, for $\delta,\epsilon >0$ $$P(|M_{n}-M_{n+1}|>\delta \epsilon)\geq P(|M_{n}|>\delta) \ P(|X_{n+1}-1|>\epsilon) $$ If we can show that, for some $\epsilon>0$ $$ \limsup P(|X_{n+1}-1|>\epsilon) > 0 $$ Then we are done. Jensen's inequality gives $E\log X_{k} \leq \log E(X_{k}) = 0$. So,the condition $\Pi_{k=1}^{n}a_{k}\rightarrow 0$, which means $\frac{1}{2}\sum_{k=1}^{n} E(\log X_{k})\leq \sum_{k=1}^{n}\log E(\sqrt{X_{k}}) \rightarrow -\infty$, only implies $$ P(X_{k}\neq 1)>0 $$ for infinitely many k. But this is not sufficent for $\limsup P(|X_{n+1}-1|>\epsilon)$ to be positive. Can someone give me a hint on solving this.
My attempt for second question is to show $M_{n}$ is a uniform integrable family. I trying to use the test function of uniform integrability to show $E(\varphi(X_{k}))$ is uniformly bounded, where $\varphi(x)/x \rightarrow \infty$ as $x\rightarrow \infty$. However, I cannot see how the condition $\Pi_{k=1}^{n}a_{k}\nrightarrow 0$ can help me to achieve this. Can someone also give me a hint on this.