Andrey Kulsha wrote:

> General result: the probability of a given gap g around the number x being

Sorry, exp( -g / (log x - log(log x)) ) is right.

> greater than G is about

>

> exp( -g / (log x + log(log x)) ).

Therefore 436 is right in Milton's example instead of 433.

However, log log x is too small, so

exp( -g / log x)

is good enough.

Best wishes,

Andrey