# [seqfan] Re: Typo in formula-section of A001541 ?

Mitch Harris maharri at gmail.com
Mon Mar 9 18:08:15 CET 2009

```a quick OEIS search on "Conjectured by S. Plouffe" gives 493 hits. By
inspection many of these also have another line that explicitly gives the
gf, and it happens to equal what the conjecture line says.

What would be the easiest way to deal with this large amount of editing?
Plouffe's dissertation is mentioned everywhere the conjecture is, so it
would not be a loss to remove the conjecture.

Mitch

> -----Original Message-----
> From: seqfan-bounces at list.seqfan.eu
> [mailto:seqfan-bounces at list.seqfan.eu] On Behalf Of Robert Israel
> Sent: Sunday, March 08, 2009 11:03 PM
> To: Sequence Fanatics Discussion list
> Cc: omomom at hotmail.com
> Subject: [seqfan] Re: Typo in formula-section of A001541 ?
>
>
> Of course you're right, as is obvious from the fomula
> a(n) = ((3+2*sqrt(2))^n + (3-2*sqrt(2))^n)/2.
>
> What's puzzling to me about A001541 is the statement in the "MAPLE"
> section
>
> A001541:=-(-1+3*z)/(1-6*z+z**2); [Conjectured by S. Plouffe
> in his 1992
> dissertation.]
>
> Presumably that's talking about the generating function.  But
> why was it
> only "conjectured", when it's very easy to prove (and is
> as fact in the "Formula" section)?
>
> Cheers,
> Robert Israel
>
> On Mon, 9 Mar 2009, Peter Pein wrote:
>
> > The sixth entry in the formulas for
> >
> > "For all elements x of the sequence, 2*x^2 - 2 is a square.
> Lim. as n -> inf.
> > of a(n)/a(n-1) = 3 + sqrt(2). - Gregory V. Richardson
> (omomom(AT)hotmail.com),
> > Oct 10 2002"
> >
> > but the lim_{n->oo}{a(n)/a(n-1)} is 3 + 2 sqrt(2).
> >                                        ^
> >
> > Or did I (again) misinterpret anything?
> >
> > Peter
> >
> >
> >
> > _______________________________________________
> >
> > Seqfan Mailing list - http://list.seqfan.eu/
> >
>
>
> _______________________________________________
>
> Seqfan Mailing list - http://list.seqfan.eu/
>

```