probability that x%5E2 %3C 2 if x follows a normal distribution