MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Define $ rad(n):=\prod_{p|n}p $ and $a_n:=\frac{n}{rad(n)}.$ For example $a_n=1$ whenever n is a squarefree integer. The assosiated Dirichlet series $$F(s):=\sum_{n} \frac{a_n}{n^s}=\prod_{p} (1+\frac{1}{p^s} \frac{1}{1-p^{1-s}})$$ has abcissa of convergence $s_0=1.$ Are there any results regarding the distribution of $a_n$, e.g. whether $\sum \limits_{n \leq x} a_n \ll x (\log x)^A $ for some real constant $A>0$ ?

share|cite|improve this question

This problem was studied by De Bruijn, see

N. G. de Bruijn and J. H. van Lint, "On the number of integers $\le x$ whose prime factors divide $n$", Acta Arith. 8 (1963) 349–356

The main result is that $$\log\left(S(x)\right)=\log\left(\sum_{n\le x} \frac{1}{rad(n)}\right)\sim \left(\frac{8\log x}{\log \log x}\right)^{1/2}$$ and that $$\sum_{n\le x} \frac{n}{rad(n)}=o\left(xS(x)\right).$$ See also the article "Idempotents and Nilpotents Modulo n" for a discussion of this and similar problems (and more complete references).

share|cite|improve this answer
I take it the appearances of $n$ in the last term of the first display should instead be $x$? – Gerry Myerson Aug 19 '11 at 12:52
Thank you, it is fixed. – Gjergji Zaimi Aug 19 '11 at 23:29

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.