infimum(-x*e^(-x^2))