x^7+y^7 >= x^4*y^3