3a^ab^bc^c \leq (a+b+c)^{(a+b+c)}