Redirecting to Borel-Cantelli lemma