\ a^{p+2} + b^{p+2} + c^{p+2} >= a^pbc + b^pca + c^pab.