This question is from Folland 1.32:
Suppose $\{a_j\}\subset(0,1)$.
a. $\prod(1-a_j)>0$ iff $\sum a_j<\infty$. (Compare $\sum\log(1-a_j)$ to $\sum a_j$).
b. Given $B\in(0,1)$, exhibit a sequence $a_j$ such that $\prod(1-a_j)=B$.
In particular, I would like to ask about item a. I have shown that if $\prod (1 - a_j) > 0$, then$\sum a_j < \infty$. However, I am having trouble to show if $\sum a_j < \infty$, then $\prod 1 - a_j$.
There is a particular identity that I have been trying to use but to no vail:
If $x \in (0, 1)$, then $x \leq \int_{1 - x} ^1 \frac{1}{t} \,dt = \ln\left(\frac{1}{1 - x}\right)\leq \frac{x}{1 - x}$.
I know similar questions have been asked, but I couldn't follow the implications written for this direction of the proof: Prove that $\prod_1^{\infty}(1-a_i) > 0$ iff $\sum_1^{\infty}{a_i} < \infty$.