\documentclass[12pt,reqno]{article}

\usepackage[usenames]{color}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage{amscd}

\usepackage[colorlinks=true,
linkcolor=webgreen,
filecolor=webbrown,
citecolor=webgreen]{hyperref}

\definecolor{webgreen}{rgb}{0,.5,0}
\definecolor{webbrown}{rgb}{.6,0,0}

\usepackage{color}
\usepackage{fullpage}
\usepackage{float}

\usepackage{psfig}
\usepackage{graphics,amsmath,amssymb}
\usepackage{amsthm}
\usepackage{amsfonts}
\usepackage{latexsym}
\usepackage{epsf}

\setlength{\textwidth}{6.5in}
\setlength{\oddsidemargin}{.1in}
\setlength{\evensidemargin}{.1in}
\setlength{\topmargin}{-.5in}
\setlength{\textheight}{8.9in}

\newtheorem{theorem}{Theorem}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{conjecture}[theorem]{Conjecture}

\newcommand{\seqnum}[1]{\href{http://oeis.org/#1}{\underline{#1}}}


\begin{document}

\begin{center}
\epsfxsize=4in
\leavevmode\epsffile{logo129.eps}
\end{center}

\begin{center}
\vskip 1cm{\LARGE\bf 
Using Bonse's Inequality to Find Upper \\
\vskip .1in
Bounds on Prime Gaps} 
\vskip 1cm
\large
Robert J. Betts\\
University of Massachusetts, Lowell\\
One University Avenue\\
Lowell, MA 01854\\
USA \\
\href{mailto:Robert.Betts001@umb.edu}{\tt Robert.Betts001@umb.edu} \\
\href{mailto:robert_betts@earthlink.net}{\tt robert\_betts@earthlink.net}\\
\end{center}

\vskip .2 in

\begin{abstract}
One can apply Bonse's inequality to points on the real line to find an
upper bound on any prime gap, including both for first occurrences and
for maximal prime gaps. However, such a result is neither as fine as
the upper bound found by Mozzochi, nor as fine as the lower bound
obtained by Rankin for maximal prime gaps.
Without deep sieve methods, such as those
used by Maier and Pomerance to compute a lower bound for maximal prime
gaps, we show one can
use Bonse's inequality to arrive at an upper bound for any given prime
gap without intricate derivations for any real constants.
\end{abstract}

\section{Introduction and a new upper bound $\Gamma(p_{k})$.}

Iwaniec, Pintz, and later Mozzochi \cite{Mozzochi} found good upper
bounds on the difference between two consecutive primes, namely, 
$$p_{k + 1} - p_{k} \ll p_{k}^{\theta},$$ 
where either $\theta = \frac{11}{20}
- \frac{1}{406}$ or
$\theta = \frac{11}{20} -
\frac{1}{384}$
\cite{Mozzochi}.
Maier and Pomerance improved a lower bound for
prime gaps found previously by Rankin~\cite{Pomerance}. All of them
used deep methods beyond the scope of this paper.
Here instead we demonstrate the relevance of 
Bonse's inequality to the topic of prime gaps.

We use Bonse's inequality to find an upper bound on the number
$g(p_{k})$, $k = 1, 2, \ldots$, of composite integers between two
consecutive primes, $p_{k}$ and $p_{k + 1} > p_{k}$. The result can be
used to find, for each large integer $k \gg 4$, an open interval on
$\mathbb{R}^{1}$ within which one will find the real value for the
prime gap. We also remark in Section 2, that computer work can be done
on comparing the rate of growth of the upper bound on $g(p_{k})$ we
found and the rate of growth of $(\log(p_{k}))^{2}$ as $k \rightarrow
\infty$, which by Cram\'{e}r's conjecture, is the asymptotic limit for
a maximal prime gap whenever $k$ is a very large integer. The sequence
of prime gaps is related to the sequence of prime differences 
\cite{Sloane}.

Let 
\begin{equation} 
\Delta  p_{k} = p_{k + 1} - p_{k} 
\end{equation}
denote the prime difference function, and 
\begin{equation}
g(p_{k}) = p_{k + 1} - p_{k} - 1
\end{equation}
the prime gap, meaning the number of consecutive composites between the consecutive primes $p_{k + 1}$ and $p_{k}$. We show that for large integer $k \gg 4$, such that the consecutive primes $p_{k}, p_{k + 1}$ are very large, there exists an infinite sequence $\{\Gamma(p_{k})\}_{k = 1}^{\infty}$, such that each term 
\begin{equation}
\Gamma(p_{k}) := \frac{p_{k}(\prod_{i = 1}^{k - 1}p_{i} - p_{k})}{\log((k + 1)^{k + 1}k^{k})} - 1
\end{equation}

$$
> g(p_{k}),
$$
is an upper bound for each term $g(p_{k})$ that appears in the infinite
sequence $\{g(p_{k})\}_{k = 1}^{\infty}$ of prime gaps. However the
result is not for a least upper bound on prime gaps $g(p_{k})$. The
values $\Gamma(p_{k})$ also are an upper bound on the prime differences
$\Delta  p_{k}$. In addition one should be able to show that each
term in the \emph{sequence} $\{\Gamma(p_{k})\}_{k = 1}^{\infty}$ is an
upper bound on each corresponding term (i.e., for each $k \gg 4$) in
the \emph{sequence} $\{\log(p_{k})^{2}\}_{k = 1}^{\infty}$, where
Cram\'{e}r's conjecture says that, for large $k$, $K$, maximal prime
gaps $G(p_{K})$ --- meaning maximal if $G(p_{K})$ is a prime gap such that
$G(p_{K}) > g(p_{k})$ for all $k < K$ --- approach the asymptotic limit
$(\log(p_{k}))^{2}$.

The graph for the prime difference function $\Delta$$p_{k}$ resembles --- at the very least --- frequency vs.\ time graphs in the field of signal processing~\cite{Wolfram} and Gaussian noise~\cite{Nicely}.  
Our theorem below rests on the foundations of two previously proved propositions, which immediately follow. One can prove Bonse's inequality as an exercise~\cite{Kirch}. Uspensky and Heaslet~\cite{Uspensky} also discuss Bonse's inequality.

\noindent
\begin{proposition}[Bonse's inequality]
For $k > 4$, 
$$
p^{2}_{k + 1} < \prod^{k}_{i = 1}p_{i}.
$$
\label{prop1}
\end{proposition}

\begin{proposition}
Let $p_{k}$ be the $kth$ prime.  Then
$$
p_{k} \sim k  \log  k. 
$$
\label{prop2}
\end{proposition}

For a proof, see Gioia \cite{Gioia}.
Now we are ready to prove a theorem that establishes the upper bound on $g(p_{k})$ through Bonse's inequality. 

\begin{theorem}
For $k \gg 4$, 
\begin{eqnarray*}
g(p_{k}) &<& \Gamma(p_{k}) \\
&=& \frac{p_{k}(\prod_{i = 1}^{k - 1}p_{i} - p_{k})}{\log((k + 1)^{k + 1}k^{k})} - 1.
\end{eqnarray*}
\label{thm1}
\end{theorem}

\begin{proof}
By Bonse's inequality (Proposition~\ref{prop1}), when $k \geq 4$,
\begin{eqnarray*}
p^{2}_{k} &<& p_{1}p_{2} \cdots p_{k - 1} \\
&\Longrightarrow& p^{2}_{k + 1} - p^{2}_{k} < (p_{1}p_{2} \cdots p_{k}) - p^{2}_{k} \\
&\Longrightarrow& p_{k + 1} - p_{k} < \frac{p_{1} \cdots p_{k} - p^{2}_{k}}{p_{k + 1} + p_{k}} \\
&=& \frac{p_{k}(\prod_{i = 1}^{k - 1}p_{i} - p_{k})}{p_{k + 1} + p_{k}}.
\end{eqnarray*}
Now when $k \gg 4$ grows ever larger,
it is true that $p_{k} \sim k \log k$ while by Proposition~\ref{prop2},
it remains true that $\varepsilon = o(1)$, where $\varepsilon$ $= |\frac{p_{k} - k  \log k}{p_{k}}|$ (See Table 1, and the proof by  Gioia \cite{Gioia} of Proposition 2).
Furthermore, when $k \gg 4$ grows larger it also follows from Proposition 2 and from the properties of logarithms that
$$
p_{k + 1} + p_{k} \sim (k + 1)\log(k + 1) + k \log k = \log((k + 1)^{k + 1}k^{k}),
$$
where as $k \rightarrow \infty$, 
\begin{eqnarray*}
\left|  \frac{(p_{k + 1} + p_{k}) - \log((k + 1)^{k + 1}k^{k})}{p_{k + 1} + p_{k}}  \right | &=& \varepsilon^{\prime} \\
&\rightarrow & 0.
\end{eqnarray*}
Letting $0 \leq \varepsilon^{\prime} \ll 1$, that is, so that $\varepsilon^{\prime} \approx 0$, it follows that, as $k \rightarrow \infty$,
\begin{equation}
\frac{p_{k}(\prod_{i = 1}^{k - 1}p_{i} - p_{k})}{p_{k + 1} + p_{k}} \sim \frac{p_{k}(\prod_{i = 1}^{k - 1}p_{i} - p_{k})}{\log((k + 1)^{k + 1}k^{k})}.
\end{equation}
Then as $k \rightarrow \infty$,
\begin{equation}
p_{k + 1} - p_{k} < \frac{p_{k}(\prod_{i = 1}^{k - 1}p_{i} - p_{k})}{p_{k + 1} + p_{k}} \sim \frac{p_{k}(\prod_{i = 1}^{k - 1}p_{i} - p_{k})}{\log((k + 1)^{k + 1}k^{k})},
\end{equation}
where we have used Propositions~\ref{prop1} and \ref{prop2}.
Then it follows that for large integer $k \gg 4$ such that both $p_{k}, p_{k + 1}$ are very large,
\begin{eqnarray*}
g(p_{k}) + 1 &=& p_{k + 1} - p_{k} \\
&=& \Delta  p_{k} \\
&<&
\frac{p_{k}(\prod_{i = 1}^{k - 1}p_{i} - p_{k})}{\log((k + 1)^{k + 1}k^{k})}, \\
&\Longrightarrow & g(p_{k}) < \Gamma(p_{k}) = \frac{p_{k}(\prod_{i = 1}^{k - 1}p_{i} - p_{k})}{\log((k + 1)^{k + 1}k^{k})} - 1.
\end{eqnarray*}
\end{proof}

\section{The relationship $\log(\Gamma(p_{k}))$ has to the upper bound $p_{k}^{\frac{11}{20} - \delta}$ and other conclusions.}

Table 1 suggests that our formula for $\Gamma(p_{k})$ indeed is an
upper bound for $g(p_{k})$, as $k$ gets large. Also from Table 1 one
can see that the fast rate of increase of $\Gamma(p_{k})$ by far
exceeds the slower rate of increase of $(\log(p_{k}))^{2}$. Hence it
could be interesting to investigate by computer the behavior of the
three respective functions $\Gamma(p_{k})$, $g(p_{k})$ and
$(\log(p_{k}))^{2}$, where $(\log(p_{k}))^{2}$ by Cram\'{e}r's
conjecture is such that for large $k$, $\frac{p_{k + 1} -
p_{k}}{(\log(p_{k}))^{2}} = O(1)$ is true for maximal prime gaps.

Rankin~\cite{Guy} showed that there exists a real constant $c$ such that
\begin{equation}
\frac{c (\log  k) ( \log \log  k) ( \log \log \log \log  k)}{(\log \log \log  k)^{2}} < p_{k + 1} - p_{k}.
\end{equation}
Combined with the result from Theorem~\ref{thm1}, this indicates that for large integer $k \gg 4$, taken large enough so that $p_{k}$ and $p_{k + 1}$ both are very large, each term of the prime difference sequence $\Delta  p_{k}$ is bounded, for each such $k$, as
\begin{eqnarray*}
\frac{c (\log  k)(  \log\log  k) ( \log\log\log\log  k)}{(\log\log\log  k)^{2}} &<& p_{k + 1} - p_{k} \\
&<& \frac{p_{k}(\prod_{i = 1}^{k - 1}p_{i} - p_{k})}{\log((k + 1)^{k + 1}k^{k})} = \Gamma(p_{k}) + 1.
\end{eqnarray*}
Let, for some real constant $c$ and for any fixed integer $k = k_{0} \gg 4$,
\begin{equation}
a(k_{0}) = \frac{c\log(k_{0})\log\log(k_{0})\log\log\log\log(k_{0})}{(\log\log\log(k_{0}))^{2}} - 1, 
\label{eq19}
\end{equation}
\begin{equation}
b(k_{0}) = \frac{p_{k_{0}}(\prod_{i = 1}^{k_{0} - 1}p_{i} - p_{k_{0}})}{\log((k_{0} + 1)^{k_{0} + 1}k_{0}^{k_{0}})} - 1 = \Gamma(p_{k_{0}}).
\label{eq20}
\end{equation}
Then it follows from Theorem~\ref{thm1} that, for each such positive integer $k = k_{0} \gg 4$, the value for the prime gap $g(p_{k_{0}})$ lies inside an open interval $(a(k_{0}), b(k_{0}))$ on the real line.  

\bigskip

\textbf{Remarks}: The upper bound $\Gamma(p_{k})$ found in Section 1
and which appears on the real line in Eq.~\ref{eq20} as
$b(k_{0})$ for any large fixed integer $k_{0} \gg 4$ such that
$g(p_{k_{0}}) \in (a(k_{0}), b(k_{0})) \subseteq \mathbb{R}^{1}$,
admittedly, is a large upper bound.  This actually can be an
advantage.  We now can compare the values of $g(p_{k})$ to those for
$\log(\Gamma(p_{k})$, $\log\log(\Gamma(p_{k}))$ and
$\log\log\log(\Gamma(p_{k}))$.  In fact an inspection of Tables 2 and
3 shows it might be profitable
to compare the values of $\log(\Gamma(p_{k}))$, $\log\log(\Gamma(p_{k}))$
and $\log\log\log(\Gamma(p_{k}))$ to those for $g(p_{k})$, $\Delta 
p_{k}$ and $(\log(p_{k}))^{2}$, whenever $k > 4$ is large enough so
that both $p_{k}$ and $p_{k + 1}$ are two very large consecutive
primes.  This is because one should be able to find by computer that
$\log(\Gamma(p_{k})) > g(p_{k})$, $\log(\Gamma(p_{k})) > \Delta 
p_{k}$ and $\log(\Gamma(p_{k})) > (\log(p_{k}))^{2}$ as $k$ grows
large, after which one even might be able to prove that
$\log(\Gamma(p_{k}))$ is a better upper bound on $g(p_{k})$ than is
$\Gamma(p_{k})$, as $k \rightarrow \infty$. In Table 3 the reader can
compare the upper bound found by Iwaniec and Pintz~\cite{Mozzochi},
\begin{equation}
p^{\frac{11}{20} - \delta}
\end{equation}
with $\Gamma(p_{k})$, $\log(\Gamma(p_{k})$ and $\log\log(\Gamma(p_{k}))$, where in Table 3 we have allowed $\delta = \frac{1}{406}$. As an alternative one could use the refinement found by Mozzochi, who found that, for real $\delta = \frac{1}{384}$, $p_{k + 1} - p_{k} \ll p_{k}^{\frac{11}{20} - \frac{1}{384}}$. However a comparison of column 3 and column 5 with column 9 in Table 3 elicits the following question:
\begin{quote}
\emph{Does there exist, as $k \rightarrow \infty$, a real constant $\alpha > 0$, such that}
$$
g(p_{k}) = p_{k + 1} - p_{k} - 1 < \log((\log(\Gamma(p_{k}))^{\alpha}) < p_{k}^{\frac{11}{20} - \delta} - 1?
$$
\end{quote}

Finally we can use the fact that the field of real numbers on the real line $\mathbb{R}^{1}$ is closed for the two binary operations ($+$, $\times$), to express the upper bound for prime gaps found by Iwaniec and Pintz~\cite{Mozzochi} for real $\delta = \frac{1}{406}$, by using $\log(\Gamma(p_{k}))$. Let
\begin{equation}
a_{1}, a_{2}, \ldots,
\end{equation}
be an infinite sequence $\{a_{k}\}_{k = 1}^{\infty}$ of real numbers such that
\begin{equation}
p_{k} = a_{k}\log(\Gamma(p_{k}))
= \log((\Gamma(p_{k}))^{a_{k}}).
\end{equation}
Then we have at once 
\begin{equation}
p_{k}^{\frac{11}{20} - \delta} = (\log((\Gamma(p_{k}))^{a_{k}}))^{\frac{11}{20} - \delta}
\end{equation}
\begin{equation}
\Longrightarrow g(p_{k}) \in (a(k), b^{\prime}(k)) \subseteq \mathbb{R}^{1},
\label{eq26}
\end{equation}
where in Eq.~(\ref{eq26}) we have replaced $a(k_{0})$ in Eq.~(\ref{eq19}) with $a(k)$ and, by utilizing the upper bound result found by Iwaniec and Pintz~\cite{Mozzochi},
\begin{equation}
b^{\prime}(k) = p_{k}^{\frac{11}{20} - \delta} 
\end{equation}
\begin{equation}
= (\log((\Gamma(p_{k}))^{a_{k}}))^{\frac{11}{20} - \delta}.
\end{equation}
In the following Tables 1--3, we have chosen $\delta = \frac{1}{406}$, Iwaniec and Pintz's~\cite{Mozzochi} result) and relative error (see
\cite[Theorem 45.3]{Gioia}).
\begin{equation}
\varepsilon = \left|\frac{p_{k} - k \log  k}{p_{k}}\right| \rightarrow 0.
\end{equation}

\newpage

\begin{center}
\begin{tabular}{|l         |c              |c             |c                       |c                         |c                 |c                   |r|}                                              
\hline
                 $k$  &    $p_{k}$    &    $g(p_{k})$ &   $\Delta$$p_{k}$   &    $(\log(p_{k}))^{2}$  &      $k  \log  k$          & $\Gamma(p_{k})$   &  $\varepsilon$ \\
\hline
                 $3$    &    $5$          &     $1$         &     $2$          &     $2.59\ldots$       &      $3.27\ldots$     &   $-0.44\ldots$   &  $0.34\ldots$  \\

                 $4$    &    $7$          &     $3$         &     $4$          &     $3.79\ldots$       &      $5.56\ldots$     &   $10.85\ldots$   &  $0.21\ldots$   \\
                 
                 $5$    &   $11$          &     $1$         &     $2$          &     $5.75\ldots$       &      $8.00\ldots$     &   $115.45\ldots$  &  $0.27\ldots$   \\

                 $6$    &   $13$          &     $3$         &     $4$          &     $6.58\ldots$       &      $10.74\ldots$    &   $1224.22\ldots$ &  $0.17\ldots$   \\

                 $7$    &   $17$          &     $1$         &     $2$          &     $8.03\ldots$       &      $13.65\ldots$    &   $16860.24\ldots$ & $0.19\ldots$    \\
\hline
\end{tabular}
\end{center}
\begin{center}
Table 1
\end{center}

\begin{tabular}{|l         |c                 |c                  |c                       |c                         |c                   |c                      |r|}                                              
\hline
                 $k$    &  $p_{k}$        &   $g(p_{k})$    &     $\Delta$$p_{k}$  &     $(\log(p_{k}))^{2}$   &   $\Gamma(p_{k})$     &  $\log(\Gamma(p_{k}))$ &  $\log\log(\Gamma(p_{k}))$ \\
\hline
                 $3$    &    $5$          &     $1$         &     $2$                &       $2.59\ldots$       &   $-0.44\ldots$       &    -----------        &   ------------------     \\

                 $4$    &    $7$          &     $3$         &     $4$                &       $3.79\ldots$       &   $10.85\ldots$       &  $2.38\ldots$         &   $0.87\ldots$            \\
                 
                 $5$    &   $11$          &     $1$         &     $2$                &       $5.75\ldots$       &  $115.45\ldots$       &  $4.74\ldots$         &   $1.55\ldots$            \\    
                
                 $6$    &   $13$          &     $3$         &     $4$                &       $6.58\ldots$       & $1224.32\ldots$       &  $7.11\ldots$         &   $1.96\ldots$             \\

                 $7$    &   $17$          &     $1$         &     $2$                &       $8.03\ldots$       & $16860.24\ldots$      &  $9.73\ldots$         &   $2.28\ldots$             \\
\hline
\end{tabular}
\begin{center}
Table 2
\end{center}

\begin{center}
\begin{tabular}{|l          |c                 |c                |c                       |c                                               |c                          |c                        |c                     | r|}                                              
\hline
                 $k$    &    $p_{k}$      &    $g(p_{k})$   &    $\Delta$$p_{k}$ &    $p_{k}^{\frac{11}{20} - \delta}$    &             $\Gamma(p_{k})$       &   $\log(\Gamma(p_{k}))$  &   $a_{k}$           &    $\log\log(\Gamma(p_{k}))$ \\
\hline
                 $3$    &    $5$          &     $1$         &     $2$                &     $2.42\ldots$                       &             $-0.44\ldots$       &    -----------          &   -----------       &     ------------------- \\

                 $4$    &    $7$          &     $3$         &     $4$                &     $2.90\ldots$                       &             $10.85\ldots$       &     $2.38\ldots$        &   $2.94\ldots$      &    $0.87\ldots$          \\
                 
                 $5$    &   $11$          &     $1$         &     $2$                &     $3.72\ldots$                       &            $115.45\ldots$       &     $4.74\ldots$        &   $2.32\ldots$      &    $1.55\ldots$          \\    
                 
                 $6$    &   $13$          &     $3$         &     $4$                &     $4.07\ldots$                       &           $1224.32\ldots$       &     $7.11\ldots$        &   $1.83\ldots$      &    $1.96\ldots$          \\

                 $7$    &   $17$          &     $1$         &     $2$                &     $4.72\ldots$                       &          $16860.24\ldots$      &     $9.73\ldots$        &   $1.74\ldots$      &    $2.28\ldots$           \\
\hline
\end{tabular}
\end{center}
\begin{center}
Table 3
\end{center}

\begin{thebibliography}{13}
\bibitem[1]{Gioia} A. Gioia, \emph{The Theory of Numbers: An Introduction}, Markham Publishing Company, 1970.

\bibitem[2]{Guy} R. Guy, \emph{Unsolved Problems in Number Theory}, Second Edition, Springer-Verlag, 1994.

\bibitem[3]{Kirch} A. M. Kirch, \emph{Elementary Number Theory}, Intext Educational Publishers, NY, 1974.

\bibitem[4]{Pomerance} H. Maier and C. Pomerance, Unusually large gaps between consecutive primes, \emph{Trans. Amer. Math. Soc.},
\textbf{322} (1990), 201--237.

\bibitem[5]{Mozzochi} C. J. Mozzochi, On the difference between consecutive primes, \emph{J. Number Theory}, \textbf{24} (1986), 186--187.

\bibitem[6]{Nicely} T. Nicely, First occurrence prime gaps,
\href{http://www.trnicely.net/gaps/gaplist.html}{\tt http://www.trnicely.net/gaps/gaplist.html}.

\bibitem[7]{Uspensky} J. V. Uspensky and M. A. Heaslet, \emph{Elementary Number Theory}, McGraw-Hill Book Company, NY, 1939.

\bibitem[8]{Wolfram} \href{http://mathworld.wolfram.com/PrimeDifferenceFunction.html}{\tt http://mathworld.wolfram.com/PrimeDifferenceFunction.html}.

\bibitem[9]{Sloane} N. J. A. Sloane, The On-Line Encyclopedia of Integer
Seuqences, \href{http://www.research.att.com/~njas/sequences/index.html}{\tt http://www.research.att.com/\char'176njas/sequences/index.html}.

\end{thebibliography}

\bigskip
\hrule
\bigskip

\noindent
2000 \emph{Mathematics Subject Classification}: Primary 11B05; Secondary 11B99. \\
\emph{Keywords}: Bonse's inequality, Cram\'{e}r's conjecture, prime difference function, prime gap.

\bigskip
\hrule
\bigskip

\noindent (Concerned with sequence 
\seqnum{A001223}.)

\bigskip
\hrule
\bigskip

\vspace*{+.1in}
\noindent
Received January 30 2007;
revised version received April 13 2007.
Published in {\it Journal of Integer Sequences}, April 13 2007.

\bigskip
\hrule
\bigskip

\noindent
Return to
\htmladdnormallink{Journal of Integer Sequences home page}{http://www.cs.uwaterloo.ca/journals/JIS/}.
\vskip .1in


\end{document}

                                                                                

