Abstract:As essential condition for the validy of Robin's Theorem as a precondition for the proof of the Riemann hypothesis, we show that the minimum of the function $F={\rm e}^{\gamma}\,\ln(\ln\,n)-\sigma(n)/n$ is found to be positive. Therefore, $F>0$ holds for any $n>5040$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to verify the Riemann Hypothesis by proving the validity of Robin's theorem. Specifically, the authors explore whether the minimum value of the function \( F = e^{\gamma \ln(\ln n)} - \frac{\sigma(n)}{n} \) is positive, where:
- \( \gamma \approx 0.577 \) is the Euler - Mascheroni constant.
- \( \sigma(n) \) is the sum - of - divisors function, which represents the sum of all positive divisors of \( n \).
According to Robin's theorem, if for \( n > 5040 \), we have:
\[
F = e^{\gamma \ln(\ln n)} - \frac{\sigma(n)}{n} > 0
\]
Then the Riemann Hypothesis holds. Therefore, the main objective of this paper is to prove that the minimum value of \( F \) is positive through analytical methods, thereby providing a new proof approach for the Riemann Hypothesis.
### Specific steps
1. **Definition and formula derivation**:
- By the fundamental theorem of arithmetic, represent \( n \) as a product of prime factors:
\[
n = \prod_{i = 1}^{k} p_i^{\alpha_i}
\]
- Then define \( F \) as a unique function of \( \alpha_g \) and calculate its derivative by the finite difference method.
2. **Finite difference calculation**:
- Calculate the finite difference with respect to \( \alpha_g \):
\[
\Delta p_g^{\alpha_g} = p_g^{\alpha_g}(1 - \frac{1}{p_g})
\]
- Further derive:
\[
S(n)=\frac{\Delta \ln(\ln n)}{\Delta \alpha_g}=\frac{1 - \frac{1}{p_g}}{\ln n}
\]
- For \( \frac{\sigma(n)}{n} \), we have:
\[
\frac{\sigma(n)}{n}=A u(\alpha_g), \quad u(\alpha_g)=1 + \frac{1}{p_g}+\frac{1}{p_g^2}+\cdots+\frac{1}{p_g^{\alpha_g}}
\]
3. **Minimum value analysis**:
- Find the minimum point of \( F \) by taking the derivative:
\[
0=\frac{\Delta F}{\Delta \alpha_g}=e^{\gamma}\left(\frac{1 - \frac{1}{p_g}}{\ln n}\right)-\frac{A}{p_g^{\alpha_g}}
\]
- After simplification, we get:
\[
e^{\gamma}\left(1 - \frac{1}{p_g}\right)\left(1 + p_g + p_g^2+\cdots+p_g^{\alpha_g}\right)=\frac{\sigma(n)\ln n}{n}
\]
4. **Conclusion**:
- Finally, prove that the minimum value of \( F \) is positive, that is, \( F > 0 \) for \( n > 5040 \)