Fix an integer b≥2. Let f(1)=1, f(2)=2, and for each n≥3, define f(n)=nf(d), where d is the number of base-b digits of n. For which values of b does ∑n=1∞f(n)1 converge?
A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.
Solution
The sum converges for b=2 and diverges for b≥3. We first consider b≥3. Suppose the sum converges; then the fact that f(n)=nf(d) whenever bd−1≤n≤bd−1 yields n=1∑∞f(n)1=d=1∑∞f(d)1n=bd−1∑bd−1n1. However, by comparing the integral of 1/x with a Riemann sum, we see that n=bd−1∑bd−1n1>∫bd−1bdxdx=log(bd)−log(bd−1)=logb, where log denotes the natural logarithm. Thus the sum diverges for b≥3. For b=2, we have a slightly different identity because f(2)=2f(2). Instead, for any positive integer i, we have n=1∑2i−1f(n)1=1+21+61+d=3∑if(d)1n=2d−1∑2d−1n1. Again comparing an integral to a Riemann sum, we see that for d≥3, n=2d−1∑2d−1n1<2d−11−2d1+∫2d−12dxdx=2d1+log2≤81+log2<1. Put c=81+log2 and L=1+21+6(1−c)1. Then we can prove that ∑n=12i−1f(n)1<L for all i≥2 by induction on i. The case i=2 is clear. For the induction, note that n=1∑2i−1f(n)1<1+21+61+cd=3∑if(d)1<1+21+61+c6(1−c)1=1+21+6(1−c)1=L, as desired. We conclude that ∑n=1∞f(n)1 converges to a limit less than or equal to L.
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.
Source: Omni-MATH,
licensed Apache-2.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.