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

Author

Vaclav Kotesovec, Jan 26 2015

Keywords

• nonn
• cons

Comments

The Padovan factorial constant is associated with the Padovan factorial A126772.

Examples

			1.25373683131537208838997864311903035079685338006712312402418098138...
		

Links

• Eric Weisstein's World of Mathematics, Padovan Sequence

Crossrefs

Cf. A000931, A060006, A126772.

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.