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.

A122579 Integer sequence arising from the nested radical R(m) = sqrt(4^0+sqrt(4^1+sqrt(....+sqrt(4^m)...))) (see comment).

This page as a plain text file.
%I A122579 #8 May 05 2025 10:09:17
%S A122579 1,1,3,15,455,53175,52802967,194817927511,3103080851583191,
%T A122579 200041552904055799767,52027813627693614618566103,
%U A122579 54341050032531342541499355961815
%N A122579 Integer sequence arising from the nested radical R(m) = sqrt(4^0+sqrt(4^1+sqrt(....+sqrt(4^m)...))) (see comment).
%C A122579 Let p(k) = Product_{i=0..k} (2^i+1) (A028361) then for any n>0 we get the asymptotic formula: lim_{m->oo} 2-R(m) = a(0)*(1/p(m))+a(1)*(2/p(m+1))+...+a(n)*(2^n/p(m+n))+O(1/p(m+n+1)). In particular there is this unexpected relation between an infinite nested radical and an infinite product: lim_{m->oo} (2-R(m))*2^(m*(m+1)/2) = 1/Product_{i>=0} (1+1/2^i) = 0.209... (A083864).
%D A122579 B. Cloitre, On an asymptotic formula for a nested radical, in preparation 2006
%F A122579 a(n) is asymptotic to c*4^(n*(n-1)/2) for c=0.041....
%Y A122579 Cf. A028361, A083864.
%K A122579 nonn,more
%O A122579 0,3
%A A122579 _Benoit Cloitre_, Oct 29 2006