The integral \(\int_0^\infty \frac{\sin x}{x}\;dx\).

From MaRDI portal
Publication:1489247