A340293 - OEIS

A340293

a(n) = 4^((n-1)*n) * Product_{1<=j<k<=n} (1 - sin(j*Pi/(2*n+1))^2 * sin(k*Pi/(2*n+1))^2).

1, 1, 11, 1247, 1455913, 17511093953, 2169916151129091, 2770393222231417622719, 36443188794328204864735075793, 4939371777650229260975457785579794433, 6897784079863728378183626237683602071537213179

(list; graph; refs; listen; history; text; internal format)

OFFSET

0,3

LINKS

Table of n, a(n) for n=0..10.

FORMULA

a(n) ~ exp(G*(2*n+1)^2/Pi) / (2^(2*n - 1/8) * (1 + sqrt(2))^(n + 1/2)), where G is Catalan's constant A006752. - Vaclav Kotesovec, Jan 04 2021

MATHEMATICA

Table[2^(2*n*(n-1)) * Product[Product[1 - Sin[j*Pi/(2*n + 1)]^2*Sin[k*Pi/(2*n + 1)]^2, {k, j+1, n}], {j, 1, n}], {n, 0, 12}] // Round (* Vaclav Kotesovec, Jan 04 2021 *)

PROG

(PARI) default(realprecision, 120);

{a(n) = round(4^((n-1)*n)*prod(j=1, n, prod(k=j+1, n, 1-(sin(j*Pi/(2*n+1))*sin(k*Pi/(2*n+1)))^2)))}

CROSSREFS

Cf. A340185, A340292.

Sequence in context: A001323 A266368 A182553 * A223039 A209093 A078274

Adjacent sequences: A340290 A340291 A340292 * A340294 A340295 A340296

KEYWORD

nonn

AUTHOR

Seiichi Manyama, Jan 03 2021

STATUS

approved