此题感觉有问题ab<=(a^2+b^2)/2,同理ab+bc+cd+ad+ac+bd<=3(a^2+b^2+c^2+d^2)/2=1.5若碰态大原题成立,闭羡1.5<=4abcd+1.25,即1/16<=abcd但笑竖是a^2+b^2+c^2+d^2=1>=4根号abcd即abcd<=1/16