f1[x_, y_] := x^3;
f2[x_, y_] := x^2*y;
f3[x_, y_] := x*y^2;
f4[x_, y_] := y^3;
g[x_, a_, {a1_, a2_, a3_, a4_, a5_, a6_, a7_, a8_}] := 
    Assuming[a >= 0 && a <= 1 && b >= 0 && b <= 1, 
      a1*f1[x, 1 - x] + a2*f2[x, 1 - x] + a3*f2[x, 1 - x] + a4*f3[x, 1 - x] + 
        a5*f2[x, 1 - x] + a6*f3[x, 1 - x] + a7*f3[x, 1 - x] + 
        a8*f4[x, 1 - x] - (a1*f1[a, 1 - a] + a2*f2[a, 1 - a] + 
            a3*f2[a, 1 - a] + a4*f3[a, 1 - a] + a5*f2[a, 1 - a] + 
            a6*f3[a, 1 - a] + a7*f3[a, 1 - a] + a8*f4[a, 1 - a])];
li = Join[Permutations[{1, 0, 0, 0, 0, 0, 0, 0}], 
      Permutations[{1, 1, 0, 0, 0, 0, 0, 0}], 
      Permutations[{1, 1, 1, 0, 0, 0, 0, 0}], 
      Permutations[{1, 1, 1, 1, 0, 0, 0, 0}], 
      Permutations[{1, 1, 1, 1, 1, 0, 0, 0}], 
      Permutations[{1, 1, 1, 1, 1, 1, 0, 0}], 
      Permutations[{1, 1, 1, 1, 1, 1, 1, 0}], 
      Permutations[{1, 1, 1, 1, 1, 1, 1, 1}]];
For[i = 1, i < 256, 
  WriteString[
    "/home/olaf/beweis.txt", {li[[i]], ": ", g[x, a, li[[i]]] // Factor, 
      "   ", If[g[0.01, 0.011, li[[i]]]/(0.011 - 0.01) < 0.011 - 0.01, 
        "gegenbeispiel: x = 0.01, a = 0.011\n", 
        If[g[0.91, 0.011, li[[i]]]/(0.91 - 0.011) < 0.91 - 0.011, 
          "gegenbeispiel: x = 0.91, a = 0.011\n", "kein gegenbeispiel\n"]]}]; 
  i++]