Problem

Source: 1974 USAMO Problem 2

Tags: inequalities, logarithms, function



Prove that if $ a,b,$ and $ c$ are positive real numbers, then \[ a^ab^bc^c \ge (abc)^{(a+b+c)/3}.\]