Narrow down the task: we seek the power of two starts with the correct sequence numbers (if the sequence starts from zero, add to the beginning of the unit). Let's call it d for. Then we need to find x and y such that
d < 2x/10y < d + 1.
Let a = log
210. Then
d < 2x — ay < d + 1.
Let's take a logarithm base 2:
log2d < x — ay < log2(d + 1)
It remains to choose x and y. Due to irrationality of a it is obvious that we will be able to find them.