$$\int_{-\infty}^\infty P(x) dx$$