the Borel-Cantelli lemma, strong limit laws