均值不等式难题,已知abcd>a^2+b^2+c^2+d^2,abcd为实数,求证:abcd>a+b+c+d+8.