a^bb^cc^a\geq b^ac^ba^c