Apparently for $p_i\in [0,1)$, it's true that $\prod_i (1-p_i)=0 \Leftrightarrow \sum_i p_i=\infty$.
How can I prove this using Borel-Cantelli? I've said that $p_i = P(X_i=1)$ for some sequence $X_i$ where $X_i$'s are all $0-1$ valued. If $\sum_i p_i=\infty$, then $X_i=1$ infinitely often, so it's impossible for $X_i=0$ for all $i$. Thus $\prod_i (1-p_i)=0.$
But how do I prove the reverse step?