Let $n(x) = \frac{1}{\sqrt{2\pi}} e^{-\frac{x^2}{2}}$, and $N(x) = \int_{-\infty}^x n(t)dt$. Prove the following inequality. $$(x^2+1)N + xn-(xN+n)^2>N^2$$ where the dependency of $n$ and $N$ on $x$ are absorbed into the function symbols.
The left hand side is actually the variance of a truncated normal distribution. I am trying to give it a lower bound.