OFFSET
0,1
COMMENTS
See A214992 for a discussion of power ceiling sequence and the power ceiling function, p4(x) = limit of a(n,x)/x^n. The present sequence is a(n,r), where r = 2+sqrt(7), and the limit p4(r) = 5.19758760498048832156707270895307875397561324042...
See A218986 for the power floor function, p1(x); for comparison of p1 and p4, limit(p4(r)/p1(r) = 4 - sqrt(7).
LINKS
Clark Kimberling, Table of n, a(n) for n = 0..250
Index entries for linear recurrences with constant coefficients, signature (5,-1,-3).
FORMULA
a(n) = ceiling(x*a(n-1)), where x=2+sqrt(7), a(0) = ceiling(x).
a(n) = 5*a(n-1) - a(n-2) - 3*a(n-3).
G.f.: (5 - x - 3*x^2)/(1 - 5*x + x^2 + 3*x^3).
a(n) = (-14+(217-83*sqrt(7))*(2-sqrt(7))^n+(2+sqrt(7))^n*(217+83*sqrt(7)))/84. - Colin Barker, Sep 02 2016
EXAMPLE
a(0) = ceiling(r) = 5, where r = 2+sqrt(7);
a(1) = ceiling(5*r) = 24; a(2) = ceiling(24*r) = 112.
MATHEMATICA
(See A218986.)
PROG
(PARI) a(n) = round((-14+(217-83*sqrt(7))*(2-sqrt(7))^n+(2+sqrt(7))^n*(217+83*sqrt(7)))/84) \\ Colin Barker, Sep 02 2016
(PARI) Vec((5-x-3*x^2)/((1-x)*(1-4*x-3*x^2)) + O(x^30)) \\ Colin Barker, Sep 02 2016
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Clark Kimberling, Nov 11 2012
STATUS
approved