|
|
|
|
|
|
|
|
|
#11 by Charles R Greathouse IV at Wed Jul 29 09:39:43 EDT 2015
|
|
|
|
|
|
|
|
#10 by Charles R Greathouse IV at Wed Jul 29 09:39:39 EDT 2015
|
|
| PROG
|
(PARI) b(n)=if(n<0, 0, bn[n]);
(PARI) ?bn=vector(100); b(n)=if(n<0, 0, bn[n]); ); bn[1]=log(2); ?); 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))))))
a(n)=floor(b(n+1))
|
|
| STATUS
|
approved
editing
|
|
|
|
|
|
|
#9 by Russ Cox at Fri Mar 30 18:39:16 EDT 2012
|
|
| AUTHOR
|
_Benoit Cloitre (benoit7848c(AT)orange.fr), _, Apr 10 2003
|
|
|
|
|
Discussion
|
| Fri Mar 30
| 18:39
| OEIS Server: https://oeis.org/edit/global/216
|
|
|
|
|
|
|
#8 by N. J. A. Sloane at Sun Jun 29 03:00:00 EDT 2008
|
|
| KEYWORD
|
nonn,new
nonn
|
|
| AUTHOR
|
Benoit Cloitre (abmtbenoit7848c(AT)wanadooorange.fr), Apr 10 2003
|
|
|
|
|
|
|
#7 by N. J. A. Sloane at Wed Dec 06 03:00:00 EST 2006
|
|
| KEYWORD
|
cons,nonn,new
nonn
|
|
|
|
|
|
|
#6 by N. J. A. Sloane at Fri Feb 24 03:00:00 EST 2006
|
|
| FORMULA
|
log(2)=cot(sum(n>=0,, n,(-, (-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))
|
|
| KEYWORD
|
cons,nonn,new
|
|
|
|
|
|
|
#5 by N. J. A. Sloane at Wed Sep 21 03:00:00 EDT 2005
|
|
| KEYWORD
|
cons,nonn,new
|
|
| AUTHOR
|
Benoit Cloitre (abcloitreabmt(AT)modulonetwanadoo.fr), Apr 10 2003
|
|
|
|
|
|
|
#4 by N. J. A. Sloane at Tue Jul 19 03:00:00 EDT 2005
|
|
| KEYWORD
|
cons,nonn,new
|
|
| AUTHOR
|
Benoit Cloitre (abcloitre(AT)wanadoomodulonet.fr), Apr 10 2003
|
|
|
|
|
|
|
#3 by N. J. A. Sloane at Thu Feb 19 03:00:00 EST 2004
|
|
| PROG
|
(PARI) ?bn=vector(100); b(n)=if(n<0, 0, bn[n]); ]); bn[1]=log(2); ?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))
|
|
| KEYWORD
|
cons,nonn,new
|
|
|
|
|
|
|
#2 by N. J. A. Sloane at Sat Sep 13 03:00:00 EDT 2003
|
|
| FORMULA
|
log(2)=cot(sum(n>=0,n,(-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))
|
|
| KEYWORD
|
cons,nonn,new
|
|
|
|
|
|
