Lemma 5.3.
The function
f
(
x
,
y
)
=
h
(
x
y
)
x
h
(
y
)
+
y
h
(
x
)
is minimised on
(
0
,
1
)
2
at a point where
x
=
y
.