probability that x^2 < 2 if x follows a normal distribution