where aij represents the jth digit in the decimal expansion of f(i) and none of these expansions terminates in 9's. Let x be the number whose decimal expansion is given by 0.f3d32 ... , where f3k := { akk + 1 akk -1 if akk :::; 5 if akk > 5.