Integrate[PDF[NormalDistribution[0,1],x],{x,-Infinity,-3.5453}]