Logo

Greetings from The On-Line Encyclopedia of Integer Sequences!

Hints

Search: id:A123746
Displaying 1-1 of 1 results found. page 1
     Format: long | short | internal | text      Sort: relevance | references | number      Highlight: on | off
A123746 Numerators of partial sums of a series for 1/sqrt(2). +0
2
1, 1, 7, 9, 107, 151, 835, 1241, 26291, 40427, 207897, 327615, 3296959, 5293843, 26189947, 42685049, 1666461763, 2749521971, 13266871709, 22115585443, 211386315749, 355490397193, 1684973959237, 2855358497999, 53747636888759 (list; graph; listen)
OFFSET

0,3

COMMENT

Denominators are given by A046161(n),n>=0.

The alternating sum over central binomial coefficients scaled by powers of 4, r(n):=sum(((-1)^k)*binomial(2*k,k)/4^k,k=0..n) has the limit s:=lim(r(n),n->infinity) = 1/sqrt(2). From the expansion of 1/sqrt(1-x) for |x|<1 which extends to x=-1 due to Abel's limit theorem and the convergence of the series s. See the W. Lang link.

(2^n)*n!*r(n) = A003148(n). [From Wolfdieter Lang (wolfdieter.lang(AT)physik.uni-karlsruhe.de), Oct 06 2008]

LINKS

W. Lang: Rationals and more.

FORMULA

a(n)=numerator(r(n)) with the rationals r(n):=sum(((-1)^k)*binomial(2*k,k)/4^k,k=0..n),n>=0.

r(n)=sum(((-1)^k)*(2*k-1)!!/(2*k)!!,k=0..n),n>=0, with the double factorials A001147 and A000165.

EXAMPLE

a(3)=9 because r(n)=1-1/2+3/8-5/16 = 9/16 = a(3)/A046161(3).

CROSSREFS

Cf. A120088/(2*A120777) partial sums for a series of sqrt(2).

Sequence in context: A087336 A137058 A116237 this_sequence A012252 A027723 A046265

Adjacent sequences: A123743 A123744 A123745 this_sequence A123747 A123748 A123749

KEYWORD

nonn,frac,easy

AUTHOR

Wolfdieter Lang (wolfdieter.lang(AT)physik.uni-karlsruhe.de) Nov 10 2006

page 1

Search completed in 0.002 seconds

Lookup | Welcome | Find friends | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
More pages | Superseeker | Maintained by N. J. A. Sloane (njas@research.att.com)

Last modified November 30 22:12 EST 2008. Contains 150989 sequences.


AT&T Labs Research