Yes, Dirichlet (1829) gives this function as an example of one not satisfying his condition for convergence of the Fourier series. (But the expression as a limit: By Riemann?) Bill Tait