• 1 National Institute of Advanced Studies
• 2 Tata Institute for Fundamental Research

Referring to a theorem of A. E. Ingham, that for all $N\geq N_0$ (an absolute constant), the inequality $N^3\leq p\leq(N+1)^3$ is solvable in a prime $p$, we point out in this paper that it is implicit that he has actually proved that $\pi(x+h)-\pi(x) \sim h(\log x)^{-1}$ where $h=x^c$ and $c (>\frac{5}{8})$ is any constant. Further, we point out that even this stronger form can be proved without using the functional equation of $\zeta(s)$.