Little problem

[Warut Roonguthai]

On 8/8/07, David Wilson <davidwwilson at comcast.net> 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
http://www.research.att.com/~njas/sequences/A007814 is the sequence of
the 2-adic valuation of n.

Warut