正の実数a, b, c が、a*b*c=1 を満たすとき、
　a^3 + b^3 + c^3 ≧ a^2 + b^2 + c^2
が成り立つことを証明せよ。