把第1步的不等式乘以正量 a+2b+3c+4da+2b+3c+4da+2b+3c+4d,得到 (a+2b+3c+4d)aabbccdd≤(a+2b+3c+4d)(a2+b2+c2+d2)(a+2b+3c+4d)a^ab^bc^cd^d\le (a+2b+3c+4d)(a^2+b^2+c^2+d^2)(a+2b+3c+4d)aabbccdd≤(a+2b+3c+4d)(a2+b2+c2+d2),因此只需证明右边严格小于 111。