Shannon-Nyquist interpolation formula