(y=0､1､2､3‥)で、y/log(2)≦x＜1+{y/log(2)}を満たす整数xの個数。