Nyquist–Shannon sampling theorem