Fourier series
A rigorous proof using Fourier series.