Isn’t this just the limit of the probability of the event not occurring raised to the n-th power as n approaches infinity going to zero?

Seems like awfully low hanging fruit to be known as “the second Borel-Cantelli lemma”.

I guess there were some benefits to laying out the groundwork of probability theory in the early 1900s.