On 2/13/06, franktaw at netscape.net <franktaw at netscape.net> wrote: > The formula in A064355 explains it. Do you mean the equality 1/n * sum_{d divides n and d is odd} 2^(n/d) * mu(d) = floor( 2^n /n ) ? How to prove it? Max