Nyquist sampling theorem