Ja, das habe ich schon versucht, dann steht da
a^4+4 a^3 b+4 a^3 c+4 a^3 d+6 a^2 b^2+12 a^2 b c+12 a^2 b d+6 a^2 c^2+12 a^2 c d+6 a^2 d^2+4 a b^3+12 a b^2 c+12 a b^2 d+12 a b c^2+24 a b c d+12 a b d^2+4 a c^3+12 a c^2 d+12 a c d^2+4 a d^3+b^4+4 b^3 c+4 b^3 d+6 b^2 c^2+12 b^2 c d+6 b^2 d^2+4 b c^3+12 b c^2 d+12 b c d^2+4 b d^3+c^4+4 c^3 d+6 c^2 d^2+4 c d^3+d^4>=256 a b c d
aber wie soll mir das weiterhelfen?