Let $\mu(n)$ denote the M\"obius function and define $M(x)= \sum_{n\leq x}^{}\mu (n)$. This paper provides an elementary proof of the prime number theorem based on Möbius function. We prove that \begin{equation*} \displaystyle\lim_{x \to +\infty}\frac{M(x)}{x}=0 \end{equation*}, which is equivalent to the prime number theorem. We use Selberg's asymptotic formula and Tatuzawa-Iseki Proposition. The latter states that for a real- or complex-valued function F defined on (1,∞), and Mangoldt function Λ, we have F (x)log x + Xn≤x F (cid:16) x n(cid:17) Λ(n) = Xd≤x µ(d)G(cid:16) x d(cid:17). Selberg's asymptotic formula states that if we define Λ2 := µ ∗ (log)2 = Λ ∗ Λ + Λlog, then we have Λ2(n)= 2x log x + O(x). Moreover, Proposition 3 gives us µ(n)(cid:22) x n(cid:23)log x n = O(log x). It follows that F (cid:16 ) x n ( c i d : 1 7 ) = Z n+1 n  Xx/(n+1 )<k<x/n 1  . t ( c i d : 1 7 ) d t + O F ( c i d : 1 6 ) x Z x 2 H ( y ) d y , where M is a constant and 𝑥₁ ,𝑥₂ are arbitrary non-negative numbers.

• • Definition of M(x): $\sum_{n\leq x}^{}\mu (n)$
• • Equivalent to the prime number theorem: $\displaystyle\lim_{x \to +\infty}\frac{M(x)}{x}=0$
• • Tatuzawa-Iseki Proposition: $F (x)log x + Xn≤x F (cid:16) x n(cid:17) Λ(n) = Xd≤x µ(d)G(cid:16) x d(cid:17).$
• • Selberg's asymptotic formula: $\Lambda^2 (n)= 2x log x + O(x).$
• • Proposition 3 gives us $\mu(n)(cid:22) x n(cid:23)log x n = O(log x).$
• • Final equation for F($x_1, x_2$): $F ( c i d : 1 6 ) x Z x 2 H ( y ) d y , where M is a constant and 𝑥₁ ,𝑥₂ are arbitrary non-negative numbers.$

M(x) is a mathematical expression which stands for the sum of all the numbers that are less than or equal to x. The prime number theorem states that when x gets very large, M(x) divided by x will be close to 0. Tatuzawa-Iseki Proposition is an equation which tells us how M(x) relates to other mathematical expressions. Selberg's asymptotic formula tells us how two expressions relate to each other when n is very large. Proposition 3 gives us an equation that tells us how M(x) and log x relate when n is very large. Finally, F($x_1, x_2$) is an equation which tells us how two arbitrary non-negative numbers (𝑥₁ ,𝑥₂ ) relate to each other with a constant M.

Elementary Proof of the Prime Number Theorem Based on Möbius Function

This paper provides an elementary proof of the prime number theorem based on Möbius function. Let $\mu(n)$ denote the M\"obius function and define $M(x)= \sum_{n\leq x}^{}\mu (n)$. We prove that \begin{equation*} \displaystyle\lim_{x \to +\infty}\frac{M(x)}{x}=0 \end{equation*}, which is equivalent to the prime number theorem.

We use Selberg's asymptotic formula and Tatuzawa-Iseki Proposition. The latter states that for a real- or complex-valued function F defined on (1,∞), and Mangoldt function Λ, we have F (x)log x + Xn≤x F (cid:16) x n(cid:17) Λ(n) = Xd≤x µ(d)G(cid:16) x d(cid:17). Selberg's asymptotic formula states that if we define Λ2 := µ ∗ (log)2 = Λ ∗ Λ + Λlog, then we have Λ2(n)= 2x log x + O(x).

Moreover, Proposition 3 gives us µ(n)(cid:22) x n(cid:23)log x n = O(log x). It follows that F (cid:16 ) x n ( c i d : 1 7 ) = Z n+1 n  Xx/(n+1 )

By combining these two formulas with some basic algebraic manipulations, we can obtain our desired result.