A positive integer is piquant if there exists a positive integer such that if denotes the number of digits in (in base 10), then . Let denote the fraction of the first positive integers that are piquant. Find .
Problem 1527
Official solution
Solution:
For notation, let denote the number of digits of and . Observe that so . We will determine, for , how many of the integers from to , inclusive, are piquant.
Increment by 1 from to . The number of digits of increases by one if , or for some integer . This means that, as we increment by 1, the sum increases when "jumps over" for . Furthermore, when is big enough, all "jumps" are distinguishable, i.e. there does not exist two such that .
Thus, for large , the number of times increases as increments by 1 from to is the number of different in the range . If we take the fractional part of the exponent, this is equivalent to the number of distinct fractions where . The number of such fractions with denominator is , so the total number of such fractions is .
We have shown that for sufficiently large and exactly 32 integers in the range are piquant. This implies that .