Với `p;q;r;s\inRR : {(p+q+r+s=0),(p<q<r<s):}` chứng minh rằng: `p<1/2 \root[3]{(\sqrt(24(pq+pr+ps+qr+qs+rs)^3+81(pqr+qrs+rsp+spq)^2)+9(pqr+qrs+rsp+spq))/(9)}-(pq+pr+ps+qr+qs+rs)/(\root[3]{3\sqrt(24(pq+pr+ps+qr+qs+rs)^3+81(pqr+qrs+rsp+spq)^2)+27(pqr+qrs+rsp+spq)})<s`