[math-fun] Nyquist sampling