Докажите, что для положительных действительных чисел `a`, `b` и `c` верно неравенство `a^a*b^b*c^c >= (a*b*c)^{(a+b+c)/3}`.