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

Let $n\geq 1$ be an integer, $P$ the set of rational prime numbers. I am interested in upper bounds for $\prod_{p\in P; \ p\mid n}(1+1/p)$ in terms of n.

I would like to find explicit real numbers $a,b$ such that for any integer $n\geq 1$ it holds $\prod_{p\in P; \ p\mid n}(1+1/p)\leq a\log(n)^b$.

By the answer of GH this is possible for any $b>0$ provided $n$ is sufficiently large.

Now, I would like to find explicit real numbers $a,c$ such that for any integer $n\geq 10$ it holds $\prod_{p\in P; \ p\mid n}(1+1/p)\leq a\log(n)+c$.

What are small possible values for $c$ and $a$?

share|cite|improve this question
up vote 3 down vote accepted

If you want a weaker bound that is completely explicit, the following method is pretty simple. Let $\omega(n)$ denote the number of distinct prime factors of $n$. Since the function $1+1/x$ is a decreasing function of $x$, and the smallest prime equals 2, we certainly have $$ \prod_{p\mid n} \bigg( 1+\frac1p \bigg) \le \prod_{k=2}^{\omega(n)+1} \bigg( 1+\frac1k \bigg) = \frac{\omega(n)+2}2 $$ since the product telescopes. Moreover, $\omega(n) \le (\log n)/(\log 2)$, again since each prime factor of $n$ is at least 2. Therefore $$ \prod_{p\mid n} \bigg( 1+\frac1p \bigg) \le \frac{\log n}{2\log2}+1 $$ (with equality at $n=1$ and $n=2$).

share|cite|improve this answer
This completely answers my question, thank you very much. – Ping Chen Mar 8 '13 at 20:51

It is easy to verify that for sufficiently large $n$ $$ \sum_{p\mid n}\frac{1}{p}<\sum_{p<2\log n}\frac{1}{p}<\log\log\log n+O(1) $$ whence $$ \prod_{p\mid n} \left( 1+\frac{1}{p} \right) \ll \log\log n.$$ In other words, you can choose any $b>0$. Also, one can further refine the above bound.

share|cite|improve this answer
Indeed, for any constant $C>6e^\gamma/\pi^2$ (where $\gamma$ is Euler's constant), we have $$ \prod_{p\mid n}\bigg(1+\frac1p\bigg) < C\log\log n $$ for all $n>n_0(C)$. And this is best possible, in that there are infinitely many violations if $C<6e^\gamma/\pi^2$. One proof uses the identity $$ \prod_{p\mid n} \bigg(1+\frac1p \bigg) = \frac n{\phi(n)} \prod_{p\mid n} \bigg(1-\frac1{p^2} \bigg) $$ together with known lower bounds for $\phi(n)$. – Greg Martin Mar 8 '13 at 20:25
Thanks, Greg, I did not know the exact value of the constant. Do you know a reference off hand? – GH from MO Mar 8 '13 at 20:44
Dear GH and Greg Martin, thank you very much for answering my questions. – Ping Chen Mar 8 '13 at 20:50
GH: Schonfeld and Rosser, updated by Dusart and others. Gerhard "Ask Me About Prime Functions" Paseman, 2013.03.08 – Gerhard Paseman Mar 8 '13 at 20:55
@GH: liminf phi(n) loglog n / n = e^(-gamma) is for example in Hardy&Wright (Theorem 328). – user9072 Mar 8 '13 at 21:41

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.