Note on the First Part of Borel-Cantelli Lemma - Alexei Stepanov (2023)