A253924 Decimal expansion of Padovan factorial constant.

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

Table of n, a(n) for n=1..105.

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

Cf. A000931, A060006, A126772.

Sequence in context: A242911 A112486 A342659 * A141410 A333811 A352588

Adjacent sequences: A253921 A253922 A253923 * A253925 A253926 A253927

Keyword

nonn,cons

Author

Vaclav Kotesovec, Jan 26 2015

Status

approved