Let f(x) ≡ (1 – x)b + b ab-1 x
ø (x) ≡ xc – c Βc-1 x
where b ≧ 1, c ≧ 1, 0 ≦ α ≦ 1, 0 ≦ β ≦ 1, and x is assumed to lie in the range (0, 1). By differentiation, or otherwise, it is easily shewn that f(x) and ø (x) have minima when x = 1 – α and when x = β, respectively. Hence
(1 – x)b + ab-1 x ≧ b ab-1 + (1 – b) ab
xc βc-1 x ≧ (1 – c)βc.