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 .