Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

This is either a notation/history question or a point of confusion.

In (for example) Ramanujan's proof of Bertrand's postulate, he uses the following notation:

$\log [x]!$ means $\log ([x]!),$ in which $[x]$ is the floor function. This is clear because in one equation he has (omitting some stuff)

$$\log\Gamma(x) \leq \log [x]! \leq \log \Gamma(x+1). $$

He defines $\psi(x)$ as $\sum_{m=1}^\infty \vartheta(\sqrt[m]{x})$ in which $\vartheta(x) = \sum_{p \leq x} \log p . $ He claims (and let's assume) that $$ \log [x]! = \sum_{m=1}^{\infty} \psi(x/m).$$

Now the derivative of the function $\log\Gamma(x)$, in some places called the digamma function, is in most places denoted $\psi(x).$ For large x we have from the Wiki entry on "digamma" that $$\psi(x) = \log x + O(1/x). $$

So a check that this not (?) the same as the $\psi(x)$ above is that for the one above, by the PNT, we have $\psi(x)\sim x. $

Is this correct and if so can anyone explain how or why this happened? Or if it's wrong, point out the place where my confusion starts?

Thank you!

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

From Hardy and Wright, fifth edition paperback, page 340, the beginning of Chapter 22 "The Series of Primes (3)" $$ \psi(x) = \sum_{p^m \leq x} \; \log p $$ with example $$ \psi(10) = 3 \log 2 + 2 \log 3 + \log 5 + \log 7. $$ Then they say that $$ \psi(x) = \log U(x) $$ where $U(x)$ is the least common multiple of all numbers (positive integers) up to $x.$ Finally $$ \psi(x) = \sum_{p \leq x} \; \left\lfloor \frac{\log x}{\log p} \right\rfloor \; \log p. $$ It is occasionally important to allow $x$ to be a real number, not necessarily an integer. The Prime Number Theorem is equivalent to $$ \psi(x) \sim x, $$ or $$ \lim_{x \rightarrow \infty} \; \frac{\psi(x)}{x} \; = \; 1, $$ which is Theorem 434 on page 362.

The digamma function is something else. There is nothing much to be done about this. There are not enough letters to go around, people doing rather different topics choose the same letters, if enough time passes the same letter gets established as standard for more than one concept. That's life.

share|cite|improve this answer

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.