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.
%I A022406 #44 Feb 01 2025 14:59:37 %S A022406 3,7,11,19,31,51,83,135,219,355,575,931,1507,2439,3947,6387,10335, %T A022406 16723,27059,43783,70843,114627,185471,300099,485571,785671,1271243, %U A022406 2056915,3328159,5385075,8713235,14098311,22811547,36909859,59721407,96631267,156352675 %N A022406 a(0)=3, a(1)=7; thereafter a(n) = a(n-1) + a(n-2) + 1. %C A022406 a(n) is the minimum number of nodes required for a full binary AVL tree of height n+1 whose root node has a balance factor of 0. - _Sumukh Patel_, Jun 24 2022 %H A022406 G. C. Greubel, <a href="/A022406/b022406.txt">Table of n, a(n) for n = 0..1000</a> %H A022406 <a href="/index/Rec#order_03">Index entries for linear recurrences with constant coefficients</a>, signature (2,0,-1). %F A022406 a(n) = 4*A000045(n+2) - 1. - _Ron Knott_, Aug 25 2006 %F A022406 From _R. J. Mathar_, May 28 2008: (Start) %F A022406 a(n) = A022403(n+1). %F A022406 O.g.f.: (3+x-3*x^2)/((1-x)*(1-x-x^2)). %F A022406 a(n+1) - a(n) = A022087(n+1). (End) %F A022406 a(n) = (2^(-n)*(-5*2^n + (10-6*sqrt(5))*(1-sqrt(5))^n + 2*(1+sqrt(5))^n*(5+3*sqrt(5)))) / 5. - _Colin Barker_, Mar 02 2018 %F A022406 E.g.f.: 4*exp(x/2)*(5*cosh(sqrt(5)*x/2) + 3*sqrt(5)*sinh(sqrt(5)*x/2))/5 - exp(x). - _Stefano Spezia_, Feb 01 2025 %t A022406 Table[4*Fibonacci[n + 2] - 1, {n, 0, 100}] (* _Vladimir Joseph Stephan Orlovsky_, Jun 28 2011 *) %t A022406 CoefficientList[Series[(3+x-3*x^2)/((1-x)*(1-x-x^2)), {x, 0, 50}], x] (* _G. C. Greubel_, Mar 01 2018 *) %o A022406 (PARI) a(n) = 4*fibonacci(n+2)-1; \\ _G. C. Greubel_, Mar 01 2018 %o A022406 (Magma) [4*Fibonacci(n+2) - 1: n in [0..40]]; // _G. C. Greubel_, Mar 01 2018 %Y A022406 Cf. A000045, A022087, A122195. See A022403 for a very similar sequence. %K A022406 nonn,easy %O A022406 0,1 %A A022406 _N. J. A. Sloane_