cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A081785 Continued cotangent for log(2).

Original entry on oeis.org

0, 1, 5, 55, 14187, 314681540, 254841004490568887, 116515298784769863036311841843812470, 16752745298264669840183664790312981823804061660537952218518280274360024
Offset: 0

Views

Author

Benoit Cloitre, Apr 10 2003

Keywords

Crossrefs

Programs

  • PARI
    \p900
    bn=vector(100);
    bn[1]=log(2);
    b(n)=if(n<0,0,bn[n]);
    for(n=2,10,bn[n]=(b(n-1)*floor(b(n-1))+1)/(b(n-1)-floor(b(n-1))));
    a(n)=floor(b(n+1));

Formula

log(2) = cot(Sum_{n>=0} (-1)^n*acot(a(n))).
Let b(0) = log(2), b(n) = (b(n-1)*floor(b(n-1))+1)/(b(n-1)-floor(b(n-1))) then a(n) = floor(b(n)).