{"id":"arxiv/2604.07750","url":"https://arxiv.org/abs/2604.07750","tags":["math.PR"],"score":0,"title":"A finite-sample Borel--Cantelli inequality under $m$-dependence","domain":"math.PR","source":"arxiv","authors":["Chatchawan Panraksa"],"reviews":0,"subject":"math.PR","summary":"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\\leq k\\leq N}$, we show that \\[ \\mathbb{P}\\Bigl(\\bigcup_{k=1}^N A_k\\Bigr) \\ge 1 - \\exp\\Bigl(-\\frac{1}{m+1} \\sum_{k=1}^{N} \\mathbb{P}(A_k)\\Bigr). \\] The proof splits the index set into residue classes modulo $m+1$, so that each class consists of mutually independent events, and then applies an elementary product--to--exponential bound. We further derive a quantitative windowed corollary: if the partial sums satisfy…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-09","reactions":{}}