integrate_0^s 1/(2pi) dp