The ’Core’ of Symmetric Homogeneous Polynomial
Inequalities of Degree Four of Three Real Variables
Mariyan Milev 1 , Nedelcho Milev

2

arXiv:1604.00993v1 [math.CA] 26 Mar 2016

1

Department of Mathematics and Physics, UFT-Plovdiv, bul. Maritza 26, 4000 Plovdiv,
Bulgaria, tel. +359 32 603744 email: marianmilev2002@gmail.com
2

Department of Mathematical Analysis, Plovdiv University ’Paisii Hilendarski’, Tzar
Asen 24, 4000 Plovdiv, Bulgaria, phone: +359-32 519542, email: milev0@abv.bg
Abstract. In this paper we explore inequalities between symmetric homogeneous polynomials of degree four of three real variables and three nonnegative real variables. The main
theorems describe the cases in which the smallest possible coefficient is not expressed by
the other coefficients. The problem is resolved by introducing a parametric representation.
Key words: symmetric, homogeneous, polynomial, inequalities, degree three and four.
Mathematics Subject Classification: 26D05.

Introduction
In recent years, inequalities between symmetric homogeneous polynomials are studied
in several articles [1]-[10]. We will explore the inequality
x4 + y 4 + z 4 + a(xy 3 + yz 3 + zx3 + x3 y + y 3z + z 3 x) + b(x2 y 2 + y 2 z 2 + z 2 x2 )+
+ c xyz(x + y + z) ≥ 0,
where a, b, c are real constants, and x, y, z are real variables or nonnegative real variables.
The proof of the main theorem 3 in this paper is structured by setting of auxiliary functions
(2), lemma 4 and the representation (7). For brevity we will denote the main symmetric
homogeneous polynomials of degree four
w4 = x4 + y 4 + z 4 ,

w3 = x3 y + y 3z + z 3 x + xy 3 + yz 3 + zx3 , w2 = x2 y 2 + y 2z 2 + z 2 x2

w1 = xyz(x + y + z) and the inequality is written in the form
f (x, y, z) = w4 + aw3 + bw2 + cw1 ≥ 0.
In Section I we find b min such that the inequality f (x, y, z) = w4 + aw3 + bw2 + cw1 ≥ 0
holds for arbitrary x, y, z ∈ R if and only if when b ≥ b min .
1
In the particular case a = − the upper inequality holds if and only if when
2

c 9
(Theorem 2).
b min = max − c ; −
2 8
When c ≤ −a2 − 2a (Theorem 1) b min = −2a − c − 1. This statement follows also
from [4], Theorem 2.1.

2
When c > −a2 − 2a the situation radically changes. In some particular cases b min
2
could beexpressed
 in radicals, for example when a = 2 and c = 4 > −a − 2a we find
√
√
5 5−7
1+ 5
. When b = b min the equality holds when x = y = 1 and z = −
b min =
2
2
and of course
for any
permutation. When a = −1 and c = 2 > −a2 − 2a we find
√
√
2 + 5 3 100 − 10 3 10
b =
= 0.305299773.... The equality holds when x = y = 1 and
12
√
√
3
3
100 − 2 10 − 2
= −0.27788....
z=
6
We overcome this problem by introducing the rational parameterization (2) (see Theorem 3).
We note that this parametrization is in line with [5], Theorem 2.2: ’The inequality
f (x, y, z) = w4 + aw3 + bw2 + cw1 ≥ 0 holds if and only if when f (x, 1, 1) ≥ 0 for every
real x.’
In Section II we will explore the inequality
f (x, y, z) = w4 + aw3 + bw2 + cw1 ≥ 0 ,
where x, y, z are nonnegative real variables.
First we find the necessarily conditions for the coefficient b (Lemma 5) and then we
search cmin such that the previous inequality holds if and only if when c ≥ cmin . We note
that w1 is the smallest symmetric polynomial 2w4 ≥ w3 ≥ 2w2 ≥ 2w1 ≥ 0.
When a ≥ −1 ⇒ b ≥ −2(a + 1) and cmin = −2a − b − 1. This statement follows
also from [4], Theorem 2.6. According to this theorem the inequality f (x, y, z) ≥ 0
holds also when a < −1, but when c > −2a − b − 1 the condition b ≥ a2 − 1 is not
necessary. When a < −1 and b < a2 − 1, only in some particular cases cmin could be
expressedh in radicals. For example,
when a i= −4 and b = 14 (−2(a + 1) < b < a2 − 1)
√
√
√ p
cmin = 4 − 9 + 8 2 − 2 3 − 2
3 − 2 = −6.72076... When c = cmin the equality
p
√
√
holds when x = y = 1 and z = 2 + 6 − 2 2 = 3.1951... and of course for any
permutation. Another example, when a = −6, b = 31

 a2

√ p
√
√
2
40 − 2 15 = −18.131094...
+2 < b < a −1 .
cmin = −58 + 20 15 + 5 − 3 15
p
√
√ 4
1 + 15 + 40 − 2 15
The equality holds when x = y = 1 and z =
= 5.276...
2
We again solve the problem by using the rational parametrization (2) (see Theorem
7).
We note that this do not contradict to [2] and [6], Theorem 2.1: ’The inequality
f (x, y, z) = w4 + aw3 + bw2 + cw1 ≥ 0 holds if and only if when f (x, 1, 0) ≥ 0 and
f (x, 1, 1) ≥ 0 for every x ≥ 0.’
Remark. All identities are verified via the Maplesoft platform.

Main Results
Section I. We will explore the inequality
f (x, y, z) = w4 + aw3 + bw2 + cw1 ≥ 0 ,
where a, b, c are real constants and x, y, z are real variables.

(1)

3
Theorem 1. One necessary condition to be true the inequality (1) is b ≥ −2a − c − 1.
When c ≤ −a2 − 2a this condition is also a sufficient condition (This statement follows
also from [4], Theorem 2.1).
1
Theorem 2. When a = − the inequality (1) holds if and only if when
2

c 9
b ≥ max − c, −
.
2 8
1
When a 6= − and c ≥ −a2 − 2a we introduce the rational functions:
2
c(t) =

2t4 + 2(a + 1)t3 + (2a + 4)t2 + (3a + 4)t − a
,
2t + 1

b(t) =

t4 + (a + 4)t3 + (5a + 4)t2 + 4(a + 1)t + 2a + 2
−(2t + 1)

(2)

and we will explore the different cases about the parameter a when the rational function
c(t) always takes values in the interval [−a2 − 2a ; +∞).
1
1
< a ≤ 4 and t ∈ [−a − 1; − ) the continuous function c(t) is monotone in2
2
1
2
creasing and −a − 2a = c(−a − 1) ≤ c(t) < c(− − 0) = +∞.
2
1
1
When −2 ≤ a < − and t ∈ (− ; −a − 1] the continuous function c(t) is monotone
2
2
1
decreasing and +∞ = c(− + 0) > c(t) ≥ c(−a − 1) = −a2 − 2a.
2

When −

Let us set
p
(a + 2)(a − 4)
and t2 =
.
t1 =
2
1
When a > 4 we obtain two intervals t ∈ [−a − 1 ; t1 ] ∪ [ t2 ; − ,
2
1
−a − 1 < t1 < −2 < t2 < − . The function c(t) is monotone increasing and
2
−a −

p

(a + 2)(a − 4)
2

− a2 − 2a = c(−a − 1) < c(t1 ) = c(t2 ) =

−a +

(3)

a2
1
+ 2 < c(− − 0) = +∞ .
2
2

1
When a < −2 we obtain again two intervals: t ∈ (− ; t1 ] ∪ [−a − 1 ; t2 ]. The function
2
1
c(t) is monotone decreasing in (− ; t1 ] and monotone increasing in [−a − 1 ; t2 ]:
2
a2
1
+ 2 > c(−a − 1) = −a2 − 2a .
+ ∞ = c(− + 0) > c(t1 ) = c(t2 ) =
2
2
1
Theorem 3. When a 6= − and c ≥ −a2 − 2a in the following four cases:
2
1
1
(3.1.) − < a ≤ 4 and t ∈ [−a − 1 ; − );
2
2
1
1
(3.2.) −2 ≤ a < − and t ∈ (− ; −a − 1];
2
2

4
1
a > 4 and t ∈ [−a − 1 ; t1 ] ∪ [t2 ; − ;
2
 1
(3.4.)
a < −2 and t ∈ − ; t1 ] ∪ [−a − 1 ; t2 ]
2
the inequality f (x, y, z) = w4 + aw3 + bw2 + cw1 ≥ 0 holds if and only if when b ≥ b(t).
When b = b(t) we have f (t, 1, 1) = f (1, t, 1) = f (1, 1, t) = 0.

(3.3.)

For the proof of this theorem 3 and theorem 7 below we will use the following known
statement.
Lemma 4. For arbitrary real numbers X, Y and Z the inequality
g(X, Y, Z) = X 2 + Y 2 + Z 2 + k(XY + Y Z + ZX) ≥ 0

(4)

holds if and only if when −1 ≤ k ≤ 2.
Section II. We will explore the inequality
f (x, y, z) = w4 + aw3 + bw2 + cw1 ≥ 0 ,

(5)

where a, b, c are real constants and x, y, z are nonnegative real variables.
Lemma 5. To be true the inequality (5) it is necessary:
(
1 2
a +2
when a ≤ −4;
b≥
and c ≥ −2a − b − 1.
4
−2(a + 1) when a ≥ −4
Theorem 6. ([4], Theorem 2.6). When a ≥ −1 the inequality (5) holds if and only if
when b ≥ −2(a + 1) and c ≥ −2a − b − 1.
Remark. According to ([4], Theorem 2.6) the inequality (5) is true also when a < −1,
b ≥ a2 − 1 and c ≥ −2a − b − 1, but when c > −2a − b − 1 the condition b ≥ a2 − 1 is not
necessary.
When a < −1 and b ≤ a2 − 1 we will describe the different cases about the parameter
a again with the rational function b(t) and c(t), defined by (2).
When −2 ≤ a < −1 and t ∈ [0; −a − 1] the rational function b(t) is monotone increasing and takes values in the intervala [−2(a + 1) ; a2 − 1], i.e.
−2(a + 1) = b(0) ≤ b(t) ≤ b(−a − 1) = a2 − 1.
When −4 < a < −2 there are two intervals for t.
When t ∈ [0 ; t1 ] the function b(t) is monotone increasing and takes values in the
a2
a2
+ 2], i.e. −2(a + 1) = b(0) ≤ b(t) ≤ b(t1 ) =
+ 2, and when
interval [−2(a + 1) ;
4
4
t ∈ [−a − 1 ; t2 ] the function b(t) is monotone decreasing and takes values in the interval
a2
a2
[ + 2 ; a2 − 1], i.e.
+ 2 = b(t2 ) ≤ b(t) ≤ b(−a − 1) = a2 − 1, where t1 and t2 are
4
4
defined in formulas (3).
When a ≤ −4 and t ∈ [−a − 1; t2 ] the function b(t) is monotone decreasing and takes
a2
a2
+ 2 = b(t2 ) ≤ b(t) ≤ b(−a − 1) = a2 − 1.
values in the interval [ + 2 ; a2 − 1], i.e.
4
4

5
Theorem 7. In the three cases:
(7.1.) −2 ≤ a < −1 and t ∈ [0 ; −a − 1] ;
(7.2.) −4 < a < −2 and t ∈ [0 ; t1 ] ∪ [−a − 1 ; t2 ];
(7.3.)
a ≤ −4 and t ∈ [−a − 1 ; t2 ]
the inequality f (x, y, z) = w4 + aw3 + b(t)w2 + cw1 ≥ 0 holds if and only if when c ≥ c(t).
When c = c(t) we have f (t, 1, 1) = f (1, t, 1) = f (1, 1, t) = 0.

Proves of Theorems
Section I (real variables)
Remark. In the proves we have in mind that the following basic symmetric homogeneous polinomial inequalites of degree four of three real variables are true:
2w4 ≥ w3 , w4 ≥ w2 ≥ 0 , w2 ≥ w1 and w2 + 2w1 ≥ 0.
Proof of Theorem 1.
The necessity follows from 0 ≤ f (1, 1, 1) = 3 + 6a + 3b + 3c, i.e. b ≥ −2a − c − 1.
The sufficiency follows from the relation
w4 + aw3 + (a2 − 1)w2 − (a2 + 2a)w1 = u2 + v 2 − uv ≥ 0,

(6)

where u = (x − y)(x + y + az) and v = (x − z)(x + z + ay).
When c ≤ −a2 − 2a ⇒ b ≥ −2a − c − 1 ≥ a2 − 1 and w4 + aw3 + bw2 + cw1 =


= w4 +aw3 +(a2 −1)w2 −(a2 +2a)w1 +(2a+b+c+1)w2−(c+a2 +2a)(w2 −w1 ) ≥ 0.

Remark. When a = −1, c = −a2 − 2a = 1 and b = −2a − c − 1 = 0 we obtain the
famous inequality of I. Schur [11], w4 + w1 ≥ w3 .
Proof Theorem 2.
1
3
3
and c ≤ −a2 − 2a =
⇒ b ≥ −2a − c − 1 = −c ≥ − the basic
2
4
4
3
3
1
inequality (6) is w4 − w3 − w2 + w1 ≥ 0 and the statement follows from Theorem 1.
2
4
4
c 9
From 0 ≤ f (2, 2, −1) = 24b − 12c + 27 ⇒ b ≥ − .
2 8
c 9
3
and b ≥ − we have
When c ≥
4
2 8
 c 9

1
3
3  1 3
1
w4 − w3 +bw2 +cw1 = w4 − w3 − w2 + w1 + c− (w2 +2w1 )+ b− + w2 ≥ 0.
2
2
4
4
2
4
2 8
When a = −

Before the proof of Theorem 3 we will prove Lemma 4.
Proof of Lemma 4.

From g(1, 1, 1) = 3 + 3k ≥ 0 and from g(1, −1, 0) = 2 − k ≥ 0 it follows that −1 ≤ k ≤ 2.
2 2 − k 

k+1
And g(X, Y, Z) =
X +Y +Z +
X 2 + Y 2 + Z 2 − XY − Y Z − ZX ≥ 0.
3
3

6
Proof of Theorem 3. Necessity.


f (x, y, z) = w4 + aw3 + bw2 + c(t)w1 = w4 + aw3 + b(t)w2 + c(t)w1 + b − b(t) w2 .



From 0 ≤ f (t, 1, 1) = 0 + b − b(t) (2t2 + 1) follows that b ≥ b(t).
Sufficiency follows from the identity:


w4 + aw3 + b(t)w2 + c(t)w1 = X 2 + Y 2 + Z 2 + k XY + Y Z + ZX , where

X = x2 + pxy + pxz + qyz, Y = y 2 + pyz + pyx + qzx, Z = z 2 + pzx + pzy + qxy, (7)

t2 + t + 1
t2 + 2t
2t2 + 2t(a + 1) + a + 2
, q=
and k =
2t + 1
2t + 1
t−1
When t = 1 we obtain that p = −1, q = 1 and the indentity do not depend on k because
XY + Y Z + ZX = 0.
Having in mind Lemma 4 it remains to check that −1 ≤ k ≤ 2 for the different cases.
1
1
(3.1) When − < a ≤ 4 and t ∈ [−a − 1 ; − ) ⇒ 2t + 1 < 0, t − 1 < 0, t + a + 1 ≥ 0 ⇒
2
2
p=−

k+1=

(2t + 1)(t + a + 1)
(2t + a)2 + (4 − a)(a + 2)
≥ 0 and k − 2 =
< 0.
t−1
2(t − 1)

1
(3.2) When −2 < a < −1 and t ∈ (− ; −a − 1] ⇒ 2t + 1 > 0, t − 1 ≤ −a − 2 < 0,
2
t+a+1<0 ⇒
k+1=

(2t + a)2 + (4 − a)(a + 2)
(2t + 1)(t + a + 1)
≥ 0 and k − 2 =
< 0.
t−1
2(t − 1)

1
When a = −2 and t ∈ (− ; −a − 1) ⇒ k = 2t ∈ (−1; 2).
2
Remark. The case t = 1 is possible only if a = −2 ⇒ b(1) = 3, c(1) = 0 and
2(w4 − 2w3 + 3w2 ) = (y − z)4 + (x − z)4 + (x − y)4 = 2(x2 + y 2 + z 2 − xy − yz − xz)2 .
1
(3.3) When a > 4 and t ∈ [−a − 1; t1 ] ∪ [t2 ; −
⇒ 2t + 1 < 0, t − 1 < 0, t + a + 1 ≥ 0
2
(2t + 1)(t + a + 1)
2(t − t1 )(t − t2 )
≥ 0 and k − 2 =
≤ 0.
t−1
t−1
 1
(3.4) Case: a < −2 and t ∈ − ; t1 ] ∪ [−a − 1 ; t2 ].
2
 1
When t ∈ − ; t1 ] ⇒ t ≤ t1 < 1, 2t + 1 > 0, t + a + 1 < 0, i.e.
2
⇒ k+1=

k+1=

(2t + 1)(t + a + 1)
2(t − t1 )(t − t2 )
≥ 0 and k − 2 =
≤ 0.
t−1
t−1

When t ∈ [−a − 1 ; t2 ] ⇒ t > 1, t + a + 1 ≥ 0 and again
k+1=

2(t − t1 )(t − t2 )
(2t + 1)(t + a + 1)
≥ 0 and k − 2 =
≤ 0.
t−1
t−1

7
Remark. The function b(t) is not monotone, e.g. when
a = 2, t = −1 ⇒ c(−1) = 8, b(−1) = 3, k = 0, p = q = 1 and
w4 +2w3 +3w2 +8w1 = (x2 +xy +xz +yz)2 +(y 2 +xy +xz +yz)2 +(z 2 +xy +xz +yz)2 ≥ 0
while when t = −3 ⇒ c(−3) = −8, b(−3) = 3 = b(−1), p =
k = −1 from (7)

w4 + 2w3 + 3w2 − 8w1 =

3
7
, q=−
5
5

and as

i
1h
(X − Y )2 + (Y − Z)2 + (Z − X)2 =
2

i
1h
(x−y)2 (x+y+2z)2 +(y−z)2 (y+z+2x)2 +(z−x)2 (z+x+2y)2 ≥ 0.
2
19
Analogously when a = , t = −1 and t = −4 we obtain the inequalities:
4
 19 
 17 
 19 
 17 
 49 
w4 +
w3 +
w2 + 19w1 ≥ 0 and w4 +
w3 +
w2 +
w1 ≥ 0.
4
2
4
2
4
=

Remark. The parameter t generates different optimal inequalities.
1. When t = −a − 1 we have
w4 + aw3 + (a2 − 1)w2 − (a2 + 2a)w1 =


1
2
2
2
2
2
2
(x − y) (x + y + az) + (y − z) (y + z + ax) + (z − x) (z + x + ay) .
=
2
a2
a2
2. When t = t1 or t = t2 and a ∈ (−∞ ; −2] ∪ [4 ; +∞) ⇒ b =
+ 2, c =
+ a,
4
2
a
and according to (7) we have
k = 2, 2p + q =
2
 a2

 a2

w4 + aw3 +
+ 2 w2 −
+ a w1 =
4
2

2 
2
a
2
2
2
= X + Y + Z = x + y + z + (xy + yz + zx) .
2
3. When t = −2 and a ∈ [1 ; 4] we have
w4 + aw3 + 2(a − 1)w2 + (5a − 8)w1 =

2 

= x+y+z
x2 + y 2 + z 2 + (a − 2) (xy + yz + zx) .

4. When t = −1 and a ∈ [0 ; 6] ⇒ p = q = 1, k = −1 +

a
2

and we have

w4 + aw3 + (2a − 1)w2 + 4aw1 ≥ 0.
5. When t = 0 and a ∈ [−4 ; −1] ⇒ p = −1, q = 0, k = −a − 2 and we have
w4 + aw3 − 2(a + 1)w2 − aw1 ≥ 0.

8
Section II. (nonnegative real variables)
Remark. In the proof we have in mind that the following fundamental symmetric
homogeneous polinomial inequalities of degree four for three nonnegative real variables
hold: 2w4 ≥ w3 ≥ 2w2 ≥ w1 ≥ 0, and the inequality I. Schur [11] w4 + w1 ≥ w3 .
Proof of Lemma 5. From f (1,

 1, 1) ≥
 0 ⇒ c ≥ −2a − b − 1. 
4
3
From 0 ≤ f (x, 1, 0) = x + 1 + a x + x + bx2 ⇒ x2 + x−2 + a x + x−1 + b ≥ 0.

We set u = x + x−1 ≥ 2. When a ≥ −4 and u = 2 ⇒ b ≥ −2(a + 1).
a2
a
+ 2.
When a ≤ −4 and u = − ≥ 2 ⇒ b ≥
2
4
Proof of Theorem 6. The necessity follows from Lemma 5.
Using the inequalities: w4 + w1 ≥ w3 , w3 ≥ 2w2 and w2 ≥ w1 ≥ 0 we see that the
conditions 2a + 2 + b ≥ 0 and 1 + 2a + b + c ≥ 0 are also sufficient:
f = w4 + aw3 + bw2 + cw1 = (w4 + w1 − w3 )+
+ (a + 1)(w3 − 2w2 ) + (2a + 2 + b)(w2 − w1 ) + (2a + b + c + 1)w1 ≥ 0.

Proof of Theorem 7. Necessity.


f (x, y, z) = w4 + aw3 + b(t)w2 + cw1 = w4 + aw3 + b(t)w2 + c(t)w1 + c − c(t) w1 .


From 0 ≤ f (t, 1, 1) = 0 + c − c(t) t(t + 2) when t > 0 follows that c ≥ c(t).
When t = 0 then c(0) = −a, b(0) = −2(a + 1), a ∈ (−4 ; −1).
f (x, 1, 1)
From 0 ≤ lim
= 2(c + a) it follows that c ≥ −a = c(0).
x→+0
x
Sufficiency follows analogously as in Theorem 3 from the indentity:
w4 + aw3 + b(t)w2 + c(t)w1 = X 2 + Y 2 + Z 2 + k(XY + Y Z + ZX),
defined with formulas (7), where −1 ≤ k ≤ 2, because each of the three cases are
subregions of these of Theorem 3:
(7.1) −2 ≤ a < −1 and t ∈ [ 0 ; −a − 1] contains itself in
 1
1
(3.2) that is −2 ≤ a < − and t ∈ − ; −a − 1];
2
2
(7.2) −4 < a < −2 and t ∈ [0; t1 ] ∪ [−a − 1; t2 ] and (7.3) a ≤ −4 and t ∈ [−a − 1; t2 ]
1
contain itself in (3.4) a < −2 and t ∈ (− ; t1 ] ∪ [−a − 1 ; t2 ].
2

References
[1]

T. Ando, Some Homogeneous Cyclic Inequalities of Three Variable of Degree Three
and Four, The Australian Journal of Math. Anal. and Appl. 7, (2), art. 12, (2011).

[2]

T. Ando, Cubic and quartic cyclic homogeneous inequalities of Three Variables,
Math. Inequal. Appl. 16, 127-142 (2013).

[3]

T. Ando, Discriminants of Cyclic Homogeneous Inequalities of Three Variables,
Preprint, (29 Sep. 2015) http://www.math.s.chiba-u.ac.jp/ando/ineq17.pdf

[4]

V. Cirtoaje, On the Cyclic Homogeneous Polynomial Inequalities of Degree Four,
Journal of Inequalities in Pure and Applied Mathematics 10 (3), art. 67, (2009).

9
[5]

V. Cirtoaje, Necessary and sufficient conditions for symmetric homogeneous polynomial inequalities of degree four and six in real variables, J. Nonlinear Sci. Appl.,
5, 307-320 (2012).

[6]

V. Cirtoaje, Necessary and Sufficient Conditions for Symmetric Homogeneous Polynomial Inequalities in Nonnegative Real Variables, Math. Inequal. Appl., 16, 413-438
(2013).

[7]

V. Cirtoaje, A Strong Method for Symmetric Homogeneous Polynomial Inequalities
of Degree Six in Nonnegative Real Variables, Brit. J. Math. & Comp. Sci., 4, 685703 (2014).

[8]

V. Cirtoaje, Y. Zhou, Necessary and sufficient conditions for cyclic homogeneous
polynomial inequalities of degree four in real variables, The Australian Journal of
Mathematical Analysis and Applications, 9 (1) Article 15, pp. 1-17, (2012).

[9]

M. Milev, N. Milev, On the Cyclic Homogeneous Polynomial Inequalities of Degree
Four of Three Nonnegative Real Variables, 2015, accepted in Journal of Mathematical Inequalities, http : //jmi.ele − math.com/.

[10] Y. Zhou, V. Cirtoaje, Some strong sufficient conditions for cyclic homogeneous
polynomial inequalities of degree four in nonnegative variables, J. Nonlinear Sci.
Appl., 6 (2013).
[11] I. Schur: http : //en.wikipedia.org/wiki/Schur%27s inequality.

