The first Chebyshev function:

\begin{equation} \vartheta(x) = \sum_{p \leq x} \ln p \end{equation}

where \(p \in \mathbb{P}\).

The second Chebyshev function:

If \(\Lambda\) denotes the Von-Mangoldt function:

\begin{equation} \psi(x) = \sum_{n \leq x} \Lambda(n) = \sum_{p \leq x} \lfloor \log_p x \rfloor \cdot \ln p \end{equation}

Relation between the Chebyshev functions:

The second Chebyshev function may be expressed as:

\begin{equation} \psi(x) = \sum_{p \leq x} k \cdot \ln p \end{equation}

where \(p^k \leq x < p^{k+1}\).

This allows us to deduce:

\begin{equation} \psi(x) = \sum_{n=1}^\infty \vartheta(x^{\frac{1}{n}}) = \sum_{n=1}^{\lfloor \log_2 x \rfloor} \vartheta(x^{\frac{1}{n}}) \end{equation}

since \(\vartheta(x^{\frac{1}{n}}) = 0\) for \(n > \log_2 x\).

\(e^{\psi(n)} = \text{lcm}([1,n])\)


Given the formulas:

\begin{equation} \text{lcm}([1,n]) = \prod_{i=1}^{\lfloor \log_2 n \rfloor} p_i^{\alpha_i} \end{equation}

\begin{equation} \psi(n) = \sum_{i=1}^{\lfloor \log_2 n \rfloor} k_i \cdot \ln p_i \end{equation}

we’ll note that \(\alpha_i > 0 \implies \alpha_i \cdot \ln p_i = k_i \cdot \ln p_i\) for the reason that:

\begin{equation} p_i^{k_i} \leq p_i^{\alpha_i} < p_i^{k_i + 1} \end{equation}


\(e^{\vartheta(n)} \leq 4^n\)

Proof by induction:

We’ll start by observing that:

\begin{equation} e^{\vartheta (n)} = \prod_{p \leq n} p \end{equation}

For the base case \(n=2\),

\begin{equation} 2 \leq 4^2 \end{equation}

For the inductive hypothesis we set \(n = 2m -1\),

\begin{equation} \prod_{p \leq 2m-1} p \leq 4^{2m-1} \end{equation}

Now, we may consider the cases of even and odd numbers separately. For the even case,

\begin{equation} \prod_{p \leq 2m} p \leq 4^{2m-1} < 4^{2m} \end{equation}

and for the odd case \(n = 2m+1\), given that \(2m-1 > m+1\) we have:

\begin{equation} \prod_{p \leq 2m+1} p = \prod_{p \leq m+1} p \cdot \prod_{p \leq m+2}^{2m+1} p \leq 4^{m+1} \cdot {2m+1 \choose m} \end{equation}

so we may deduce that:

\begin{equation} \prod_{p \leq 2m+1} p \leq 4^{m+1} \cdot 4^m = 4^{2m+1} \end{equation}



  1. Chebyshev, P. L. “Mémoir sur les nombres premiers.” J. math. pures appl. 17, 366-390, 1852

  2. Hardy, G. H. and Wright, E. M. “The Functions theta(x) and psi(x)” and “Proof that theta(x) and psi(x) are of Order x.” §22.1-22.2 in An Introduction to the Theory of Numbers, 5th ed. Oxford, England: Clarendon Press, pp. 340-342, 1979.