OliverA
We will count the number of it instead of
(In other words, the length of the base-2 representation is at most
. If there are even digits,
, then the leftmost digit is
, the rest,
, has odd number of digits. In order for the base-2 representation to have more
's, we will need more
in the remaining
than
's. Using symmetry, this is equal to
Using similar argument where there are odd amount of digits. The remaining even amount of digit must contains the number of
's at least as the number of
's. So it's equal to
Summing both cases, we have
. There are
numbers between
and
inclusive that satisfy it. So the answer is