y>0に対して、常にe^(-yx^2)より広義で大きく、また、0から∞までの積分が収束するxの関数を教えてください。