假设 x>1 且 x 为标准正态分布,求 x^2>2 的概率