{"id":"arxiv/2607.23980","url":"https://arxiv.org/abs/2607.23980","tags":["math.PR","math.CO"],"score":0,"title":"Sharp small-deviation inequalities for sums of independent nonnegative random variables","domain":"math.PR","source":"arxiv","authors":["Weibo Fu","Yanjun Han","Guanyang Wang","Jun Yan","Peng Zhang","Zhengqing Zhou"],"reviews":0,"subject":"math.PR","summary":"Let $(X_1,\\ldots,X_n)$ be independent nonnegative random variables with $\\mathbb{E} X_i\\le1$, and write $S=\\sum_iX_i$. For $δ>0$, we prove that \\[ \\mathbb{P}\\left(S<\\mathbb{E} S+δ\\right)\\ge b_{n,δ}, \\] where $b_{n,δ}=δ(n/(n+δ))^n$ for $0<δ<1$ and $b_{n,δ}=(1-1/(n+δ))^n$ for $δ\\ge1$. The bound is sharp for every $n$ and $δ\\ge 1$. In particular, since $b_{n,δ} \\ge e^{-1}$ for $δ\\ge 1$, our result proves Feige's conjecture [Feige, 2004] in the affirmative for $δ\\ge 1$. The proof is found by ChatGPT 5.6 Pro. It combines the exact Dirichlet calibration theorem of Vlassis and Thomas [Vlassis and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-27","reactions":{}}