|
%I #12 Jan 02 2023 12:30:46
%S 1,3,6,9,13,19,24,31,39,45,54,66,73,90,103,111,126,144,153,174,193,
%T 199,229,240,264,283,306,324,354,381,403,421,463,474,504,546,555,594,
%U 630,660,679,735,741,789,846,859,903,949,966,1011
%N Nested floor product of n and fractions (2k+2)/(2k+1) for all k>=0, divided by 2.
%H D. Wilson et al., <a href="http://list.seqfan.eu/oldermail/seqfan/2016-November/thread.html">Interesting sequence</a>, SeqFan list, Nov. 2016
%F By definition, a(n)=(1/2)[...[[[[n(2/1)](4/3)](6/5)]...(2k+2)/(2k+1)]..., where [x] = floor of x; this infinite nested floor product will eventually level-off at a(n).
%F a(n) = (A000960(n+1)-1)/2, cf. link to posts on the SeqFan list. - _M. F. Hasler_, Nov 23 2016 [This may only be a conjecture? - _N. J. A. Sloane_, Nov 23 2016]
%e a(3) = 6 since (1/2)[[[[[[3(2/1)](4/3)](6/5)](8/7)](10/9)](12/11)] = (1/2)[[[[[6(4/3)](6/5)](8/7)](10/9)](12/11)] = (1/2)[[[[8(6/5)](8/7)](10/9)](12/11)] = (1/2)[[[9(8/7)](10/9)](12/11)] = (1/2)[[10(10/9)](12/11)] = (1/2)[11(12/11)] = 6. [Minor correction by _M. F. Hasler_, Nov 23 2016]
%o (PARI) apply( A073359(n)=forstep(k=2,9e9,2,n==(n=floor(n*k/(k-1)))&&return(n\2)), [1..100]) \\ _M. F. Hasler_, Nov 23 2016
%Y Cf. A000960.
%K easy,nonn
%O 1,2
%A _Paul D. Hanna_, Jul 29 2002
|
