A finite-sample Borel--Cantelli inequality under $m$-dependence

Chatchawan Panraksa

We prove an explicit finite-sample version of the Borel--Cantelli lemma under $m$-dependence. Given any $m$-dependent sequence of events $(A_k{)}_{1\le k\le N}$, we show that \[ \m…