I want to evaluate this integral
$$\int_{-\infty}^{\infty}\exp(-ay^2)dy$$
using the error function definition. The problem I am facing is with the coefficient of $y^2$.
Any suggestions?
Fact
$$\int_{-\infty}^{\infty}\exp(-y^2)dy=\sqrt{\pi}$$
using the polar substitution.