设随机变量X~N(0,1),则方程t^2+2 X t+4=0没有实根的概率为多少