Vitalsource Technologies, Inc. Borel-cantelli Lemma