Newfangled３元９次

对a, b, c >= 0，有：s[(16*a-(4*sqrt(2)+5)*(b+c))*(a-b)*(a-c)]*p[b+c-a]^2≤4*s[(4*a+b+c)*(a-b)*(a-c)]*s[a*(a-b)*(a-c)]^2、s[(3*a-2*(b+c))*(a-b)*(a-c)]*p[b+c-a]^2≤4*s[a*(a-b)*(a-c)]^3．