\[\operatorname{erf}x<\sqrt{1-{\mathrm{e}}^{-4x^{2}/\pi}},\]