>>40
Show that for all nonnegative a[1], …, a[n],
 (a[1] + (a[1]a[2])^(1/2) + … + (a[1]…a[n])^(1/n)) / n <= (a[1] * (a[1] + a[2])/2 * … * (a[1] + … + a[n])/n)^(1/n).
【Kiran Kedlaya】