フーリエ級数
A rigorous proof using Fourier series.