Lecture 5.2: The FFT algorithm