Sinc approximate identity (source code)

= Sinc approximate identity

In the distributional sense,
$$
\frac{\sin(nx)}{\pi x}\longrightarrow\delta(x).
$$
This kernel is not positive, but testing it against a smooth compactly supported function and using the Dirichlet integral proves convergence.