{"id":"arxiv/2607.24528","url":"https://arxiv.org/abs/2607.24528","tags":["math.PR"],"score":0,"title":"On Feige's conjecture","domain":"math.PR","source":"arxiv","authors":["Zipei Nie","Jiaye Wei"],"reviews":0,"subject":"math.PR","summary":"We present a short proof of Feige's conjecture: for $n$ independent nonnegative random variables with expectation one, the probability that their sum is less than $n+1$ is at least $\\left(\\frac{n}{n+1}\\right)^n\\ge \\frac{1}{e}$. The proof was obtained with the assistance of GPT-5.6 Sol and builds on the recent breakthrough of Vlassis and Thomas establishing Gaffke's conjecture on the finite-sample validity of a distribution-free $p$-value. We also discuss the implications of the subsequent work of Ming, Ramdas, Shen, Wang, and Waudby-Smith.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-27","reactions":{}}