Probability · Jul 27, 2026
Feige's nonnegative-random-variable conjecture
A sharp finite-n bound, and bounds for general δ, are reported; the δ≥1 conclusion settles the stated Feige assertion if the proof is valid.
Scope and what remains
The strict inequality, expectation conditions and independent variables matter. Priority cannot be inferred from a registry's first observation.
Contributors
Weibo Fu, Yanjun Han, Guanyang Wang, Jun Yan, Peng Zhang and Zhengqing Zhou; proof attributed to ChatGPT-5.6 Pro. Zipei Nie and Jiaye Wei provide a separate contemporaneous argument. Retain the literature inputs used by each.
AI systems: ChatGPT-5.6 Pro