4 Inverse transform

 4.1 Reconstruct the original function using DFT
 4.2 Evaluate the reconstructed function at discrete points
 4.3 Inverse Discrete Fourier transformation
 4.4 Proof of the inverse DFT