フーリエ級数
Dirichlet's theorem for 1-dimensional Fourier series.