The behavior of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \sum\nolimits_{n = 1}^\infty {{{\zeta ^{ \llcorner n\theta \lrcorner } } \mathord{\left/ {\vphantom {{\zeta ^{ \llcorner n\theta \lrcorner } } n}} \right. \kern-\nulldelimiterspace} n}} $$\end{document} for particular values of θ

Let ζ be a primitive q′-root of unity. We prove that the series \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \sum\nolimits_{n = 1}^\infty {{{\zeta ^{ \llcorner n\theta \lrcorner } } \mathord{\left/ {\vphantom {{\zeta ^{ \llcorner n\theta \lrcorner } } n}} \right. \kern-\nulldelimiterspace} n}} $$\end{document} for θ ∈ Q converges if and only if θ = p/q with (p,q) = 1 and q′ ∤ p, and that there exists an uncountable set S of Liouville’s numbers such that the series does not converge when θ ∈ S.