\int_{-\infty}^{+\infty}f^2(x) dx