The definition of a « typical » primality radius of leads to the following assumption:
the following ratio:
is asymptotically equal to the ratio:
Hence, for large enough, the quantity should be « close » to the expression above times .
This implies , as one can easily figure out replacing by its exact expression given by:
in the following limit:
We will show in the next article that one might even get: