$\int_0^\infty
f(t) dt$