[seqfan] Re: : The alternating sum in A196020

Charles Greathouse charles.greathouse at case.edu
Sun Nov 17 18:03:02 CET 2013

Conjecture checks to 10^6. Here's the simple code I'm using for the
alternating sum:


Note the congruence condition n = k(k+1)/2 mod k.

Charles Greathouse
Case Western Reserve University

On Sun, Nov 17, 2013 at 11:57 AM, William Keith <william.keith at gmail.com>wrote:

> Seems plausible to me.  I would suggest something along the following
> lines: you are including or excluding divisors of size k by adding the k-th
> column.  The k-th column becomes "necessary" when you must add or cancel
> divisors of sizes 1, 2, ... and k, when you have only had to add or cancel
> at most k-1 of them before, ergo it appears at n=k(k+1)/2.
> (Conjecture checks out to n=100 000 easily, btw.)
> William Keith
> _______________________________________________
> Seqfan Mailing list - http://list.seqfan.eu/

More information about the SeqFan mailing list