Delphi.science

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

Chatchawan Panraksa

arXivarxiv/2604.07750Apr 9, 2026math.PRscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2604.07750
curl -X POST /api/v1/records/arxiv/2604.07750/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.07750/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'