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