As mentioned in the previous article, it appears that the upper bound would follow from the following reasonable assumption:
is « rather close » to
This follows from the very definition of what a typical primality radius is. Indeed, writing
Assuming (which remains to be proven), one gets . Maybe some kind of central limit theorem could shed a new light on the true nature of .