给定正整数n,对于每个不大于n的正奇数a,都存在唯一的正整数i,使得a·2^i-1≤n<a·2^i.