Feige’s conjecture

For every positive integer nn and every collection of independent nonnegative random variables X1,…,XnX_1,\ldots,X_n satisfying E[Xi]=1\mathbb{E}[X_i]=1 for all ii, one has P ⁣(∑i=1nXi≤n+1)≥1e\mathbb{P}\!\left(\sum_{i=1}^n X_i\le n+1\right)\ge \frac{1}{e}, equivalently P ⁣(∑i=1nXi>n+1)≤1−1e\mathbb{P}\!\left(\sum_{i=1}^n X_i>n+1\right)\le 1-\frac{1}{e}.

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed solved

A 2026 specialist preprint claims to prove the conjecture, but the claim has not been independently checked.

Feige’s conjecture concerns independent nonnegative random variables with expectation 11 and a sharp upper bound on the probability that their sum exceeds a threshold. The standard case is equivalent to a lower bound of 1/e1/e for the complementary event.

Known results

  • Feige proved a constant bound of 12/1312/13.
  • He, Zhang, and Zhang improved this to 7/87/8.
  • Garnett obtained the then-best bound 43/5043/50.
  • A 2019 paper identified the associated fractional-matching threshold with the corresponding probabilistic supremum, without proving the conjecture.

October 2026 proof claim

Milojević and Sudakov’s preprint reports a direct proof of Feige’s inequality. A separate July 2026 preprint claims the standard case and the stronger bound δ(nn+δ)n\delta\left(\frac{n}{n+\delta}\right)^n for 0<δ≤10<\delta\leq 1; it says the latter remains open. The proofs are unrefereed and have no independent mathematical assessment in the retrieved sources.

Current status (as of October 2026): Feige’s conjecture is claimed proved in unrefereed preprints, but remains mathematically unverified; the stronger arbitrary-δ\delta statement remains open.

Sources

Solutions 0

No solutions have been posted yet.