On the use of the Borel–Cantelli lemma in Markov chains