probability that x^2>2 given that x>1, x~standard normal