固定一组 kkk 个不同指标。积 xi1⋯xikx_{i_1}\cdots x_{i_k}xi1⋯xik 对这些指标的每个排列都在 SkS^kSk 中出现,故至少出现 k!k!k! 次。其余各项均为正,对所有指标集合求和即得 Sk≥k!ekS^k\ge k!e_kSk≥k!ek。