Again, the derivative is positive ∀y, meaning that the function is monotonically increasing and the density of X becomes fXx=ddyPY≤ex−e−x2dydx=12πσ2exp−12σ2x−μX)2 that is precisely the density of a NμX,σ2 random variable.  ☐