a^2+b^2+c^2 \ge 3 (abc)^{2/3}