login
A253924
Decimal expansion of Padovan factorial constant.
4
1, 2, 5, 3, 7, 3, 6, 8, 3, 1, 3, 1, 5, 3, 7, 2, 0, 8, 8, 3, 8, 9, 9, 7, 8, 6, 4, 3, 1, 1, 9, 0, 3, 0, 3, 5, 0, 7, 9, 6, 8, 5, 3, 3, 8, 0, 0, 6, 7, 1, 2, 3, 1, 2, 4, 0, 2, 4, 1, 8, 0, 9, 8, 1, 3, 8, 0, 1, 0, 8, 3, 4, 9, 5, 3, 1, 8, 0, 3, 3, 7, 1, 0, 5, 3, 3, 1, 7, 1, 6, 1, 6, 9, 0, 4, 0, 0, 3, 8, 1, 0, 8, 7, 6, 8
OFFSET
1,2
COMMENTS
The Padovan factorial constant is associated with the Padovan factorial A126772.
LINKS
Eric Weisstein's World of Mathematics, Padovan Sequence
FORMULA
Equals limit n->infinity A126772(n) / (d^(n/2) * r^(n^2/2)), where r = 1.324717957244746025960908854478... (see A060006) is the root of the equation r^3 = r + 1, d = 0.3936412824011163853866584484465616545579227324... is the root of the equation 1 + 7*d + 184*d^2 - 529*d^3 = 0.
EXAMPLE
1.25373683131537208838997864311903035079685338006712312402418098138...
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Vaclav Kotesovec, Jan 26 2015
STATUS
approved