Юниорская Балканская олимпиада по математике 2011 года | Казахстанские олимпиады

Пусть aa, bb, cc — положительные действительные числа такие, что abc=1abc=1. Докажите, что (a5+a4+a3+a2+a+1)8(a2+a+1)(b2+b+1)(c2+c+1).\prod (a^5+a^4+a^3+a^2+a+1)\ge 8(a^2+a+1)(b^2+b+1)(c^2+c+1). (Произведение берется по всем переменным.)