Here, the bar denotes the average. The equality on the right follows because the sum is a telescoping sum.
Each interior prime cancels, leaving . The prime
number theorem, in the equivalent form , therefore gives
(2)
Thus the average gap grows without bound. Individual gaps fluctuate substantially around this scale. In particular, Goldston et al. (2009) proved that the limit inferior
(3)
and the stronger result on bounded gaps between primes gives infinitely many gaps no larger than 246 (Polymath 2014).
Neither result says that the average prime gap is bounded.