任意の正の実数 x, y, z について
Sqrt[x] + Sqrt[y] + Sqrt[z] <=
  K*Sqrt[Sqrt[3] x + Sqrt[2] y + z] を満たす　Kの最小値kを求めよ;

kのQ上の最小多項式f(x) を求めて, そのガロア群をお願い致します;