Nyquist–Shannon interpolation formula