If ,
then
This is a special case of the general inequality
for .
This can be proved by induction by supposing the inequality is true for
and then adding a new element
. The sum then increases by
, while the product
increases by
. The total increase is then
, which is greater than 0 since both
and
are between 0 and 1. Since the inequality is true for
(
),
it is therefore true for all
.