\int_0^\infty\frac{\sin x}{x}