# a simple inequality about normal distribution

how to proof that $$displaystyleint_x^infty e^{-frac{u^2}{2}}operatorname*d uleqfrac 1 x e^{-frac{x^2}2}$$ with $$x>0$$