I came across a fun problem recently that gave me a good opportunity to exercise my approximation muscles.
Problem: Compute , if it exists.
The basic approach to such sums is that the first few terms contribute to the sum because they are large and the rest of the terms contribute to the sum because there are a lot of them, so it makes sense to approximate the two parts of the sum separately. This is an important idea, for example, in certain estimates in functional analysis.
Since it follows that the limit, if it exists, is at least . In fact, this is the precise value of the limit. We’ll show this by giving progressively sharper estimates of the quantity
In the discussion that follows I’m going to ignore a lot of error terms to simplify the computations.