Part One:
How to get more accurate estimation of prime numbers is an important problem
in number theory. In this paper, we obtain much more accurate estimation of
prime numbers, the error range of which is less than $\sqrt{x\log x}$ for
$x\geq10^{3}$ or less than $\sqrt{x\log x}/x^{0.0327283}$ for $x\geq10^{41}$.
These results shall be important and useful for researches on Riemann
hypothesis and on primes in short intervals.
Part Two:
In 1901, H. Koch showed that if and only if the Riemann hypothesis is true,
then $\pi(x)=\Li(x)+O(\sqrt{x}\log x)$. Let define \[
\eta^{*}(x,N)=\sum_{n=0}^{N}\frac{n!}{\log^{n}x}\texttt{ and }
\pi^{*}(x,N)=\frac{x}{\log x}\eta^{*}(x,N)=\frac{x}{\log
x}\sum_{n=0}^{N}\frac{n!}{\log^{n}x} \] where we have proved that the pair of
numbers $x$ and $N$ in $\pi^{*}(x,N)$ satisfy inequalities
$\pi^{*}(x,N)<\pi(x)<\pi^{*}(x,N+1)$, and the number $N$ is a non-decreasing
step function of the variable $\log x$ for $x\geq10^{3}$ and approximately
proportional to $\log x$. Then we write \[
|\pi(x)-\Li(x)|\leq|\pi(x)-\pi^{*}(x,N)|+|\Li(x)-\pi^{*}(x,N)|. \]
In an early paper, we have proved $\pi(x)-\pi^{*}(x,N)<\sqrt{x\log x}$.
In this paper, we prove the estimation $\Li(x)=\pi^{*}(x,N)+O(\sqrt{x\log
x})$.
So we obtain $\pi(x)=\Li(x)+O(\sqrt{x\log x})$. Hence the Riemann hypothesis
is true.
Part Three:
We prove a theorem: Let $\Phi(x)=\beta x^{1/2}$, $0<\beta\leq1$. For $x\geq
e^{470}$ such that $(\log x)^{5/2}\leq x^{0.0327283}$ there are \[
\frac{\pi(x+\Phi(x))-\pi(x)}{\Phi(x)/\log x}=1+O(\frac{1}{\log x}) \] and \[
\lim_{x \to \infty}\frac{\pi(x+\Phi(x))-\pi(x)}{\Phi(x)/\log x}=1. \]
Part Four:
Based on the results above, some famous conjectures of distribution of primes
in short intervals, such as Legendre's conjecture, Oppermann's conjecture,
Brocard's conjecture and Andrica's conjecture, can be proved.
The representation of even numbers as the sum of two primes and the
distribution of primes in short intervals were investigated and a main theorem
was given out and proved, which states: For every number $n$ greater than a
positive number $n_{0}$, let $q$ be an odd prime number smaller than
$\sqrt{2n}$ and $d=2n-q$, then there is always at least an odd number $d$ which
does not contain any prime factor smaller than $\sqrt{2n}$ and must be an odd
prime number greater than $2n-\sqrt{2n}$.
Then it was proved that for every number $n$ greater than 1, there are always
at least a pair of primes $p$ and $q$ which are symmetrical about the number
$n$ so that even numbers greater than 2 can be expressed as the sum of two
primes. Hence, the Goldbach's conjecture was proved.
Also theorems of the distribution of primes in short intervals were given out
and proved. By these theorems, the Legendre's conjecture, the Oppermann's
conjecture, the Hanssner's conjecture, the Brocard's conjecture, the Andrica's
conjecture, the Sierpinski's conjecture and the Sierpinski's conjecture of
triangular numbers were proved and the Mills' constant can be determined.
The representation of odd numbers as the sum of an odd prime number and an
even semiprime was investigated and a main theorem was given out and proved,
which states: For every number $n$ greater than a positive number $n_{0}$, let
$q$ be an odd prime number smaller than $\sqrt{2n}$ and $d=2n+1-2q$, then there
is always at least an odd number $d$ which does not contain any odd prime
factor smaller than $\sqrt{2n}$ and must be a prime number greater than
$2n+1-2\sqrt{2n}$.
Then it was proved that for every number $n$ greater than 2, there are always
at least a pair of primes $p$ and $q$ so that all odd integers greater than 5
can be represented as the sum of an odd prime number and an even semiprime.
Hence, the Lemoine's conjecture was proved.