Changes

\tilde{F}(f) = \int_{-\infty}^{\infty} f(t) e^{-j2\pi f t} \, dt \quad \approx \quad\Delta t \sum_{n=0}^N f(n\Delta t) e^{-j2 \pi n f \Delta t} </math>