It is clear that is always an integer for all
. A simple
manipulation of Eq. 16 gives
The second term on the right hand side of
this equation becomes exponentially small as
increases, and the first term on the right hand side
is always an integer. Thus the left hand
side of Eq. 17 exponentially approaches an exact integer as
increases.
For example,
the Bob integer is
and the numerically calculated value of
is
22291846172619859445381409012497.999999999999999999999999999999955140548