Little problem

Warut Roonguthai warut822 at
Wed Aug 8 20:00:36 CEST 2007

On 8/8/07, David Wilson <davidwwilson at> wrote:
> Not too deep but
> Show that the running sum of 1-A007814(n) never goes negative.

Since the sum of A007814(n)
= [n/2] + [n/4] + [n/8] + ... < n/2 + n/4 + n/8 + ... = n,
the sum of 1-A007814(n) is always positive.

BTW, it's maybe worth mentioning (say, in the comment) that A007814 at is the sequence of
the 2-adic valuation of n.


More information about the SeqFan mailing list