Nyquist theorem