GPT-5.6 Sol 辅助得到 Feige conjecture 的短证明

Zipei Nie 与 Jiaye Wei 给出 Feige conjecture 的简短证明：对 n 个独立、非负且期望为 1 的随机变量，其和小于 n+1 的概率至少为 (n/(n+1))^n≥1/e。论文摘要明确说明 proof was obtained with the assistance of GPT-5.6 Sol，并建立在近期 Gaffke conjecture breakthrough 之上。